Sciweavers

19587 search results - page 233 / 3918
» Systems Engineering for software Engineers
Sort
View
143
Voted
PASTE
2005
ACM
16 years 20 days ago
Weakest-precondition of unstructured programs
Michael Barnett, K. Rustan M. Leino