Identifying pre-conditions with the Z/EVES theorem prover (1998)

Cached

Download Links

by Yves Ledru , Yves Ledru
Venue:In ASE: 13th IEEE Conference on Automated Software Engineering. IEEE Computer
Citations:5 - 1 self