Tudor Jebelean, Nikolaj Popov,
"Using Computer Algebra Techniques for the Specification, Verification and Synthesis of Recursive Programs"
, in Mathematics and Computers in Simulation, Vol. 79, Nummer 8, Elsevier, Seite(n) 2293--2301, 4-2009, ISSN: 0378-4754
Original Titel:
Using Computer Algebra Techniques for the Specification, Verification and Synthesis of Recursive Programs
Sprache des Titels:
Englisch
Journal:
Mathematics and Computers in Simulation
Veröffentlicher:
Elsevier
Volume:
79
Number:
8
Seitenreferenz:
2293--2301
Erscheinungsmonat:
4
Erscheinungsjahr:
2009
ISSN:
0378-4754
Anzahl der Seiten:
12
Publikationstyp:
Aufsatz / Paper in sonstiger referierter Fachzeitschrift