RISC JKU
  • @article{RISC3095,
    author = {N. Popov and T. Jebelean},
    title = {{Using Computer Algebra Techniques for the Specification, Verification and Synthesis of Recursive Programs}},
    language = {english},
    journal = {Mathematics and Computers in Simulation},
    volume = {79},
    number = {8},
    pages = {2293--2301},
    publisher = {Elsevier},
    isbn_issn = {ISSN: 0378-4754},
    year = {2009},
    month = {April},
    refereed = {yes},
    length = {12}
    }