+ All Categories

The top documents of ewaryst-schulz

Industrial Standards, Computer Algebra, and Formal Verication
Industrial Standards, Computer Algebra, and Formal Verication
418 views
FASE 2011 - Formalizing and Operationalizing Industrial Standards
FASE 2011 - Formalizing and Operationalizing Industrial Standards
279 views
The OMDoc Import/Export of Hets
The OMDoc Import/Export of Hets
719 views