News
Brown CS: Colloquium
cs.brown.edu
Colloquium "Looking for Bugs in all the Right Places" Elaine Weyuker and Thomas Ostrand, AT&T Labs Thursday, October 23, at 4:00 P.M. Room 368 (CIT 3rd floor)
Lecture Series - Electrical & Computer Engineering
www.ece.udel.edu
Electrical and Computer Engineering in the College of Engineering at the University of Delaware
Donald B. Gillies Memorial Lecture | Illinois Computer Science
cs.illinois.edu
Looking for Bugs in All the RIGHT Places, May 2, 2005, Elaine Weyuker. Taming the Infinite: Verification of Infinite-State Systems, Nov. 17, 2003, Amir Pnueli.
Why Empirical Software Engineering? | Grad Students
orgsync.com
OrgSync is a web-based platform and community management system that centralizes student involvement and streamlines campus and organization communication.
sorted by relevance / date