Detecting and escaping infinite loops with jolt
25th European Conference, Lancaster, Uk, July 25-29, 2011 Proceedings
| Main Authors: | , , , |
|---|---|
| Other Authors: | |
| Format: | Article |
| Language: | en_US |
| Published: |
Springer Berlin / Heidelberg
2012
|
| Online Access: | http://hdl.handle.net/1721.1/73898 https://orcid.org/0000-0003-0313-9270 https://orcid.org/0000-0001-8095-8523 |