Mechanized Formal Methods: Progress and Prospects (1996)

Cached

Download Links

by John Rushby
Venue:In Proceedings of the 16th Conference on the Foundations of Software Technology and Theoretical Computer Science, Lecture Notes in Computer Science #1180
Citations:3 - 0 self