Online Testing of LTL Properties for Java Code

Conference Paper
Publication Date:
2013
Short description:
(2013). Online Testing of LTL Properties for Java Code [conference presentation - intervento a convegno]. Retrieved from http://hdl.handle.net/10446/29193
Iris type:
1.4.01 Contributi in atti di convegno - Conference presentations
List of contributors:
Authors of the University:
Handle:
https://aisberg.unibg.it/handle/10446/29193
Book title:
Hardware and Software: Verification and Testing
Published in:
LECTURE NOTES IN COMPUTER SCIENCE
Series

Research