Trustworthy Formal Natural Language Specifications.

Colin S. Gordon, Sergey Matskevich

Browse the full Onward paper archive.