Mechanized formal methods: Where next (1999)

by J Rushby
Venue:In Proceedings of FM'99, LNCS 1708