Sciweavers

10271 search results - page 84 / 2055
» Computer Science
Sort
View
102
Voted
SPIN
2009
Springer
15 years 8 months ago
EMMA: Explicit Model Checking Manager (Tool Presentation)
Radek Pelánek, Václav Rosecký
85
Voted
ITICSE
2009
ACM
15 years 8 months ago
Virtualizing office hours in CS 50
David J. Malan