Sciweavers

19 search results - page 1 / 4
» csedu 2009
Sort
View
CSEDU
2009
137views Education» more  CSEDU 2009»
13 years 5 months ago
Proof Granularity as an Empirical Problem?
Marvin Schiller, Christoph Benzmüller