Online Testing of LTL Properties for Java Code

Contributo in Atti di convegno
Data di Pubblicazione:
2013
Citazione:
(2013). Online Testing of LTL Properties for Java Code [conference presentation - intervento a convegno]. Retrieved from http://hdl.handle.net/10446/29193
Tipologia CRIS:
1.4.01 Contributi in atti di convegno - Conference presentations
Elenco autori:
Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia
Autori di Ateneo:
GARGANTINI Angelo Michele
Link alla scheda completa:
https://aisberg.unibg.it/handle/10446/29193
Titolo del libro:
Hardware and Software: Verification and Testing
Pubblicato in:
LECTURE NOTES IN COMPUTER SCIENCE
Series

Ricerca

Settori


Settore ING-INF/05 - Sistemi di Elaborazione delle Informazioni