Experimental Program Verification in the Theorema System

Laura Kovacs, Tudor Jebelean, Nikolaj Popov

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

Name	University of Cyprus

Fields of science

@inproceedings{391b2e3d4e1446708beff3865066be92,

title = "Experimental Program Verification in the Theorema System",

author = "Laura Kovacs and Tudor Jebelean and Nikolaj Popov",

year = "2004",

month = nov,

language = "English",

series = "University of Cyprus",

pages = "92--99",

editor = "{T. Margaria, B. Steffen}",

booktitle = "Proceedings ISOLA 2004",

}