Nikolaj Popov, Tudor Jebelean,
"Verification of Mutual Recursive Functional Programs"
, in T. Ida, A. Bouhoula: Proceedings of Workshop on Symbolic Computation in Software Science SCSS'09, Carthage, Tunisia, Seite(n) 120-134, 9-2009
Original Titel:
Verification of Mutual Recursive Functional Programs
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of Workshop on Symbolic Computation in Software Science SCSS'09