Sciweavers

15951 search results - page 123 / 3191
» Lawful software engineering
Sort
View
IUI
2005
ACM
16 years 13 days ago
Trust in recommender systems
John O'Donovan, Barry Smyth
PASTE
2005
ACM
16 years 13 days ago
Weakest-precondition of unstructured programs
Michael Barnett, K. Rustan M. Leino