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