Sciweavers

CSEDU
2009
128views Education» more  CSEDU 2009»
15 years 27 days ago
Formal Methods: for All or for Chosen?
Victor V. Kuliamin, Vitaliy A. Omelchenko, Olga L....
CSEDU
2009
137views Education» more  CSEDU 2009»
15 years 27 days ago
Proof Granularity as an Empirical Problem?
Marvin Schiller, Christoph Benzmüller
CSEDU
2009
131views Education» more  CSEDU 2009»
15 years 27 days ago
Constructing Strategies for Programming
Alex Gerdes, Bastiaan Heeren, Johan Jeuring
CSEDU
2009
153views Education» more  CSEDU 2009»
15 years 27 days ago
Design of a Synchronous Collaborative Learning Environment
Simon Schwantzer, Dirk Henrici, Paul Müller