Formalizing Proof-Transforming Compilation of Eiffel programs (2008)

Cached

Download Links

by Martin Nordio , Peter Müller
Citations:7 - 2 self