Sciweavers

CSEDU
2009

Proof Granularity as an Empirical Problem?

14 years 17 days 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)