Laura Kovacs, Tudor Jebelean, Nikolaj Popov,
"Combining Logic and Algebraic Techniques for Program Verification in Theorema"
, in T. Margaria and B. Steffen: Proceedings ISOLA 2006 (Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation at the University of Cyprus), 11-2006
Original Titel:
Combining Logic and Algebraic Techniques for Program Verification in Theorema
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings ISOLA 2006 (Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation at the University of Cyprus)
Forschungs-