Back to Results
First PageMeta Content
Logic / Philosophy / Abstraction / Logic in computer science / Proof theory / Formal languages / Syntax / Formal methods / Mathematical proof / Mathematical logic / Eiffel / Formal proof


Proofs and Proof Transformations for Object-Oriented Programs Martin Nordio 2009 Diss. ETH N0 18689
Add to Reading List

Document Date: 2012-02-13 10:20:07


Open Document

File Size: 1,99 MB

Share Result on Facebook