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