King's College London

Research portal

Providing documentation and test cases for the theorem prover Isabelle

Project: Research

Funder

Status: Finished

Date: 1/12/201130/11/2012

Funding type: Research Grant

Investigators

View graph of relations

© 2018 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454