The pfort verifier
- 1 October 1974
- journal article
- research article
- Published by Wiley in Software: Practice and Experience
- Vol. 4 (4) , 359-377
- https://doi.org/10.1002/spe.4380040405
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Clarification of Fortran standards—second reportCommunications of the ACM, 1971
- Clarification of Fortran standards—initial progressCommunications of the ACM, 1969