Leonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar, Maria Sorea, Ashish Tiwari. SAL 2. In Rajeev Alur, Doron Peled, editors, Computer Aided Verification, 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings. Volume 3114 of Lecture Notes in Computer Science, pages 496-500, Springer, 2004. [doi]
@inproceedings{MouraORRSST04,
title = {SAL 2},
author = {Leonardo Mendonça de Moura and Sam Owre and Harald Rueß and John M. Rushby and Natarajan Shankar and Maria Sorea and Ashish Tiwari},
year = {2004},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3114&spage=496},
researchr = {https://researchr.org/publication/MouraORRSST04},
cites = {0},
citedby = {0},
pages = {496-500},
booktitle = {Computer Aided Verification, 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings},
editor = {Rajeev Alur and Doron Peled},
volume = {3114},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-22342-8},
}