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

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