Sciweavers

PASTE
2005
ACM

Weakest-precondition of unstructured programs

14 years 6 months ago
Weakest-precondition of unstructured programs
Michael Barnett, K. Rustan M. Leino
Added 26 Jun 2010
Updated 26 Jun 2010
Type Conference
Year 2005
Where PASTE
Authors Michael Barnett, K. Rustan M. Leino
Comments (0)