Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Lazy Lists II.. Archive of Formal Proofs, (2004)Formal proof development.Modeling a Hardware Synthesis Methodology in Isabelle., and . TPHOLs, volume 1125 of Lecture Notes in Computer Science, page 33-50. Springer, (1996)Verified Bytecode Model Checkers., , and . TPHOLs, volume 2410 of Lecture Notes in Computer Science, page 47-66. Springer, (2002)B2M: A Semantic Based Tool for BLIF Hardware Descriptions., , and . FMCAD, volume 1954 of Lecture Notes in Computer Science, page 91-107. Springer, (2000)Bytecode Verification by Model Checking., , and . J. Autom. Reasoning, 30 (3-4): 399-444 (2003)Structural and Behavioral Modeling with Monadic Logics., , and . ISMVL, page 142-151. IEEE Computer Society, (1999)Modeling a Hardware Synthesis Methodology in Isabelle., and . Formal Methods in System Design, 15 (2): 99-122 (1999)Java Bytecode Verification by Model Checking., , , and . CAV, volume 1633 of Lecture Notes in Computer Science, page 491-494. Springer, (1999)Topology.. Archive of Formal Proofs, (2004)Formal proof development.Bytecode Model Checking: An Experimental Analysis., , , and . SPIN, volume 2318 of Lecture Notes in Computer Science, page 42-59. Springer, (2002)