Integration of a Software Model Checker into Isabelle (LPAR, 2005)

(untitled) - Daum, M; Maus, S; Schirmer, N; Seghir, M