The Theory and Practice of {SALT}
| Title | The Theory and Practice of {SALT} |
| Publication Type | Conference Paper |
| Year of Publication | 2011 |
| Authors | Bauer, A, Leucker, M |
| Conference Name | NASA Formal Methods |
| Series | Lecture Notes in Computer Science |
| Volume | 6617 |
| URL | http://dx.doi.org/10.1007/978-3-642-20398-5_3 |
| DOI | 10.1007/978-3-642-20398-5_3 |
Bibtex:
@inproceedings {DBLP:conf/nfm/BauerL11,
title = {The Theory and Practice of {SALT}},
booktitle = {NASA Formal Methods},
series = {Lecture Notes in Computer Science},
volume = {6617},
year = {2011},
pages = {13-40},
doi = {http://dx.doi.org/10.1007/978-3-642-20398-5_3},
url = {http://dx.doi.org/10.1007/978-3-642-20398-5_3},
author = {Andreas Bauer and Martin Leucker}
}PDF:
