(2000). Encoding Abstract State Machines in PVS [book chapter - capitolo di libro]. Retrieved from http://hdl.handle.net/10446/27262
File allegato/i alla scheda:
Non ci sono file allegati a questa scheda.
Pubblicazioni consigliate
Aisberg ©2008 Servizi bibliotecari, Università degli studi di Bergamo | Terms of use/Condizioni di utilizzo