Using Ontologies in Formal Developments Targeting Certification.

Achim D. Brucker, Burkhart Wolff

Browse the full IFM paper archive.