Sciweavers

CSL
2006
Springer

Hoare Logic in the Abstract

15 years 14 days ago
Hoare Logic in the Abstract
Ursula Martin, Erik A. Mathiesen, Paulo Oliva
Added 22 Aug 2010
Updated 22 Aug 2010
Type Conference
Year 2006
Where CSL
Authors Ursula Martin, Erik A. Mathiesen, Paulo Oliva
Comments (0)