Sciweavers

LICS
1999
IEEE

On Hoare Logic and Kleene Algebra with Tests

14 years 4 months ago
On Hoare Logic and Kleene Algebra with Tests
Dexter Kozen
Added 04 Aug 2010
Updated 04 Aug 2010
Type Conference
Year 1999
Where LICS
Authors Dexter Kozen
Comments (0)