Using Computer Algebra techniques for the specification, verification and synthesis of recursive programs
Nikolaj Popov, Tudor JebeleanVolume:
79
Year:
2009
Language:
english
Pages:
8
DOI:
10.1016/j.matcom.2008.11.017
File:
PDF, 130 KB
english, 2009