Title: The Programming and proof systems ATES
Subjects: Development, Automatic theorem proving, Computer programming, Computer software, Computer software, development