Finding Polynomial Invariants for Imperative Loops in the Theorema System

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

Original language	English
Title of host publication	Proceedings of Verify'06 Workshop, IJCAR'06, The 2006 Federated Logic Conference
Editors	S. Autexier and H. Mantel
Pages	52-67
Number of pages	16
Publication status	Published - Aug 2006

Fields of science

@inproceedings{95b3fc5f257a4a4baddcc2be54c05bd4,

title = "Finding Polynomial Invariants for Imperative Loops in the Theorema System",

author = "Tudor Jebelean and Laura Kovacs",

year = "2006",

month = aug,

language = "English",

pages = "52--67",

editor = "{S. Autexier and H. Mantel}",

booktitle = "Proceedings of Verify'06 Workshop, IJCAR'06, The 2006 Federated Logic Conference",

}