(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
2-s2.0-84891880844
2013
Inglese
Hardware and Software: Verification and Testing
Bertacco; Valeria; Legay, Axel
978-3-319-03076-0
978-3-319-03077-7
LECTURE NOTES IN COMPUTER SCIENCE
8244
95
111
cartaceo
online
Germany
Berlin
Springer
HVC 2013 - Ninth International Haifa Verification Conference
9th
Haifa, Israel
5-7 november 2013
IBM Research - Haifa
internazionale
Settore ING-INF/05 - Sistemi di Elaborazione delle Informazioni
info:eu-repo/semantics/conferenceObject
3
Arcaini, Paolo; Gargantini, Angelo Michele; Riccobene, Elvinia
1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
none
no full text
273
(2013). Online Testing of LTL Properties for Java Code [conference presentation - intervento a convegno]. Retrieved from http://hdl.handle.net/10446/29193
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

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10446/29193
Citazioni
  • Scopus 4
  • ???jsp.display-item.citation.isi??? ND
social impact