Richard Kwok and Lawrence Yeung
EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M400
August 1973
http://www2.eecs.berkeley.edu/Pubs/TechRpts/1973/ERL-m-400.pdf
BibTeX citation:
@techreport{Kwok:M400, Author = {Kwok, Richard and Yeung, Lawrence}, Title = {Examples in Verification of the Fortran Verifier}, Institution = {EECS Department, University of California, Berkeley}, Year = {1973}, Month = {Aug}, URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1973/28744.html}, Number = {UCB/ERL M400} }
EndNote citation:
%0 Report %A Kwok, Richard %A Yeung, Lawrence %T Examples in Verification of the Fortran Verifier %I EECS Department, University of California, Berkeley %D 1973 %@ UCB/ERL M400 %U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1973/28744.html %F Kwok:M400