Articoli correlati a Computer Aided Verification: Fourth International Workshop,...

Computer Aided Verification: Fourth International Workshop, Cav'92 Montreal, Canada, June 29-July 1, 1992 : Proceedings - Brossura

Von Bochmann, G.

 
9780387564968: Computer Aided Verification: Fourth International Workshop, Cav'92 Montreal, Canada, June 29-July 1, 1992 : Proceedings