Using Computer Algebra Techniques for the Specification, Verification and Synthesis of Recursive Programs

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	2302-2309
Number of pages	8
Journal	Mathematics and Computers in Simulation
Volume	79
Issue number	8
DOIs	https://doi.org/10.1016/j.matcom.2008.11.017
Publication status	Published - Apr 2009

Fields of science

@article{71efbc6b31cd46618039a3d012f882b8,

title = "Using Computer Algebra Techniques for the Specification, Verification and Synthesis of Recursive Programs",

author = "Tudor Jebelean and Nikolaj Popov",

year = "2009",

month = apr,

doi = "10.1016/j.matcom.2008.11.017",

language = "English",

volume = "79",

pages = "2302--2309",

journal = "Mathematics and Computers in Simulation",

issn = "0378-4754",

publisher = "Elsevier Verlag",

number = "8",

}

TY - JOUR

T1 - Using Computer Algebra Techniques for the Specification, Verification and Synthesis of Recursive Programs

AU - Jebelean, Tudor

AU - Popov, Nikolaj

PY - 2009/4

Y1 - 2009/4

UR - https://www.scopus.com/pages/publications/63449089032

U2 - 10.1016/j.matcom.2008.11.017

DO - 10.1016/j.matcom.2008.11.017

M3 - Article

SN - 0378-4754

VL - 79

SP - 2302

EP - 2309

JO - Mathematics and Computers in Simulation

JF - Mathematics and Computers in Simulation

IS - 8

ER -