Richard Kwok and Lawrence Yeung

EECS Department, University of California, Berkeley

Technical Report No. UCB/ERL M400

, 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},
    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