Ats: A language that combines programming with theorem proving (2005)

Cached

Download Links

by Sa Cui , Kevin Donnelly , Hongwei Xi
Venue:of Lecture Notes in Computer Science
Citations:13 - 0 self

Document Versions

Ats: A language that combines programming with theorem proving –Sa Cui, Kevin Donnelly, Hongwei Xi — 2005 — of Lecture Notes in Computer Science
Ats: A language that combines programming with theorem proving –Sa Cui, Kevin Donnelly, Hongwei Xi — 2005 — of Lecture Notes in Computer Science