W.D. Maurer and L.L. Krishna and D.C. Leong and A. Ling and A. Ong and G. Pritchett and R. Rawson and B. Romberger and A. Rosenthal and J. Serences and C.H. Trent and A.G. Tucker and B. Wong and P. Wong and Wong R.

EECS Department, University of California, Berkeley

Technical Report No. UCB/ERL M291

, 1970

---

BibTeX citation:

@techreport{Maurer:M291,
    Author= {Maurer, W.D. and Krishna, L.L. and Leong, D.C. and Ling, A. and Ong, A. and Pritchett, G. and Rawson, R. and Romberger, B. and Rosenthal, A. and Serences, J. and Trent, C.H. and Tucker, A.G. and Wong, B. and Wong, P. and R., Wong},
    Title= {Examples of Algorithm Verification},
    Year= {1970},
    Month= {Jan},
    Url= {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1970/29272.html},
    Number= {UCB/ERL M291},
}

EndNote citation:

%0 Report
%A Maurer, W.D. 
%A Krishna, L.L. 
%A Leong, D.C. 
%A Ling, A. 
%A Ong, A. 
%A Pritchett, G. 
%A Rawson, R. 
%A Romberger, B. 
%A Rosenthal, A. 
%A Serences, J. 
%A Trent, C.H. 
%A Tucker, A.G. 
%A Wong, B. 
%A Wong, P. 
%A R., Wong 
%T Examples of Algorithm Verification
%I EECS Department, University of California, Berkeley
%D 1970
%@ UCB/ERL M291
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1970/29272.html
%F Maurer:M291