Sciweavers

CSEDU
2009
137views Education» more  CSEDU 2009»

Proof Granularity as an Empirical Problem?

15 years 8 months ago
Proof Granularity as an Empirical Problem?
Marvin Schiller, Christoph Benzmüller
Added 09 Nov 2010
Updated 09 Nov 2010
Type Conference
Year 2009
Where CSEDU
Authors Marvin Schiller, Christoph Benzmüller
Comments (0)