Sciweavers

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