Sciweavers

FASE
2003
Springer

Monad-Independent Hoare Logic in HASCASL

13 years 11 months ago
Monad-Independent Hoare Logic in HASCASL
Lutz Schröder, Till Mossakowski
Added 06 Jul 2010
Updated 06 Jul 2010
Type Conference
Year 2003
Where FASE
Authors Lutz Schröder, Till Mossakowski
Comments (0)