Items related to Computer Aided Verification: Fourth International Workshop,...

Computer Aided Verification: Fourth International Workshop, Cav'92 Montreal, Canada, June 29-July 1, 1992 : Proceedings (Lecture Notes in Computer Science) - Softcover

Von Bochmann, G.

 
9780387564968: Computer Aided Verification: Fourth International Workshop, Cav'92 Montreal, Canada, June 29-July 1, 1992 : Proceedings (Lecture Notes in Computer Science)