Library

Export 3 results:
Filters: Author is Anthony Seda  [Clear All Filters]
Conference Paper
Anthony Seda, Pascal Hitzler. VDM meets LCF: Domain-Theoretic and Topological Aspects of VDM. In Fifth Irish Workshop on Formal Methods (IWFM'01); 2001.