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: