Experience with Fortran Verifier. A tool for documentation and error diagnosis of Fortran-77 programs

• Authors:

• Reidar Conradi

• Affiliations:

• Norwegian Institute of Technology, Trondheim, Norway

• Venue:
• Proc. of the 1st European Software Engineering Conference on ESEC '87
• Year:
• 1987