André Platzer, Jan-David Quesel, Philipp Rümmer
Real World Verification
CADE, 2009.
@inproceedings{CADE-2009-PlatzerQR,
author = "André Platzer and Jan-David Quesel and Philipp Rümmer",
booktitle = "{Proceedings of the 22nd International Conference on Automated Deduction}",
doi = "10.1007/978-3-642-02959-2_35",
isbn = "978-3-642-02958-5",
pages = "485--501",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Real World Verification}",
volume = 5663,
year = 2009,
}
Tags: