@inproceedings{Daum-LPAR05-381,
AUTHOR = {Daum, M. and Maus, S. and Schirmer, N. and Seghir, M.N.},
TITLE = {Integration of a Software Model Checker into Isabelle},
VOLUME = {3835},
YEAR = {2005},
PAGES = {381-395},
SERIES = {LNCS},
BOOKTITLE = {LPAR},
PUBLISHER = {Springer},
EDITOR = {Sutcliffe, G. and Voronkov, A.},
EE = {http://dx.doi.org/10.1007/11591191_27},
}