A systematic approach to connecting standalone theorem provers to formal development environments.

David Hemer

Browse the full APSEC paper archive.