Proving the Value of Formal Methods (1994)

by G Holzmann
Venue:Proceedings FORTE 94