Sciweavers

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