Sequencing Fortran Program Array Verifications

Publication
ACM SIGPLAN Fortran Forum Journal