Sciweavers

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