Original language | English |
---|---|
Title of host publication | International Conference on Tests & Proofs, L'Aquila, 2224 July 2015 |
Editors | Jasmin Christian Blanchette, Nikolai Kosmatov |
Place of Publication | L'Aquila, Italy |
Pages | 19-37 |
ISBN (Electronic) | 978-3-319-21215-9 |
Publication status | Published - 2015 |
MoE publication type | A4 Article in a conference publication |
Publication series
Name | |
---|---|
Publisher | Springer |
ISSN (Print) | 0302-9743 |