Sciweavers

WADT
1999
Springer

Extraction of Structured Programs from Specification Proofs

14 years 3 months ago
Extraction of Structured Programs from Specification Proofs
John N. Crossley, Iman Poernomo, Martin Wirsing
Added 05 Aug 2010
Updated 05 Aug 2010
Type Conference
Year 1999
Where WADT
Authors John N. Crossley, Iman Poernomo, Martin Wirsing
Comments (0)