Tudor Jebelean, Laura Kovacs,
"Finding Polynomial Invariants for Imperative Loops in the Theorema System"
, in S. Autexier and H. Mantel: Proceedings of Verify'06 Workshop, IJCAR'06, The 2006 Federated Logic Conference, Seite(n) 52-67, 8-2006
Original Titel:
Finding Polynomial Invariants for Imperative Loops in the Theorema System
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of Verify'06 Workshop, IJCAR'06, The 2006 Federated Logic Conference