Back to Results
First PageMeta Content
Formal methods / University of Toronto / Theoretical computer science / Eric Hehner / Program derivation / Predicative programming / Refinement / Formal verification / Department of Computer Science


Lai, Albert Yu Cheong Curriculum Vitae (address and phone omitted in public) email: trebla [at] vex [dot] net Born in 1969 Citizenship: Canadian
Add to Reading List

Document Date: 2014-07-22 17:29:12


Open Document

File Size: 48,28 KB

Share Result on Facebook