A Prototype Environment for Verification of Recursive Programs

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Name	ENTCS

Fields of science

@inproceedings{a32b6988482744ad8703352a0c8c6ae7,

title = "A Prototype Environment for Verification of Recursive Programs",

author = "Tudor Jebelean and Nikolaj Popov",

year = "2008",

month = mar,

language = "English",

series = "ENTCS",

publisher = "Elsevier",

pages = "121--130",

editor = "\{Z. Istenes\}",

booktitle = "Proceedings of FORMED'08",

}