@inproceedings{Alkassar_VSTTE08-209, <br>AUTHOR = {Alkassar, Eyad and Hillebrand, Mark A. and Leinenbach, Dirk and Schirmer, Norbert W. and Starostin, Artem},<br>TITLE = {The Verisoft Approach to Systems Verification},<br>VOLUME = {5295}, <br>YEAR = {2008},<br>PAGES = {209--224}, <br>URL = {http:///publikationen/Alkassar_VSTTE08-209.pdf}, <br>SERIES = {LNCS},<br>BOOKTITLE = {2nd IFIP Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE'08)}, <br>PUBLISHER = {Springer},<br>EDITOR = {Natarajan Shankar and Jim Woodcock},<br>EE = {http://dx.doi.org/10.1007/978-3-540-87873-5_18},<br>}