EFS - An Interactive Environment for Formal Systems.

Timothy Griffin

Browse the full CADE paper archive.