Ivor, a Proof Engine

Edwin Brady

School of Computer Science

Research output: Contribution to conference › Paper

Original language	English
Pages	145-162
Publication status	Published - 2006

Handle.net

Persistent link

EP/C001346/1: Generative Programming for Embedded Systems
Hammond, K. (PI)
EPSRC
1/01/05 → 31/12/07
Project: Standard

Cite this