Tudor Jebelean, Nikolaj Popov,
"Using Computer Algebra Techniques for the Specification, Verification and Synthesis of Recursive Programs"
, in Mathematics and Computers in Simulation, Elsevier, Seite(n) 1-13, 2007, ISSN: 0378-4754
Original Titel:
Using Computer Algebra Techniques for the Specification, Verification and Synthesis of Recursive Programs
Forschungs-