Original language | English |
---|---|
Title of host publication | 11th International Conference on Integrated Formal Methods |
Subtitle of host publication | Proceedings |
Editors | E. Albert, E. Sekerinski |
Publisher | Springer |
Pages | 155-170 |
Number of pages | 16 |
ISBN (Electronic) | 978-3-319-10181-1 |
ISBN (Print) | 978-3-319-10180-4 |
DOIs | |
Publication status | Published - 2014 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer |
Volume | 8739 |
ISSN (Print) | 0302-9743 |