Sciweavers

15727 search results - page 105 / 3146
» Software Engineering - Introduction
Sort
View
PASTE
2005
ACM
15 years 8 months ago
Weakest-precondition of unstructured programs
Michael Barnett, K. Rustan M. Leino