(2013). Online Testing of LTL Properties for Java Code [conference presentation - intervento a convegno]. Retrieved from http://hdl.handle.net/10446/29193
Online Testing of LTL Properties for Java Code
ARCAINI, Paolo;GARGANTINI, Angelo Michele;
2013-01-01
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