Nikolaj Popov, Tudor Jebelean,
"Sound and Complete Verification Condition Generator for Functional Recursive Programs"
, in U. Langer and P. Paule: Numerical and Symbolic Scientific Computing - Progress and Prospects, Springer, Wien, Seite(n) 219-257, 2011
Original Titel:
Sound and Complete Verification Condition Generator for Functional Recursive Programs
Sprache des Titels:
Englisch
Original Buchtitel:
Numerical and Symbolic Scientific Computing - Progress and Prospects
Forschungs-