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