A mechanical verifier for supporting the design of reliable reactive systems (1991)

by T C Wang, A Goldberg
Venue:In International Symposium on Software Reliability Engineering