VDM meets LCF: Domain-Theoretic and Topological Aspects of VDM

TitleVDM meets LCF: Domain-Theoretic and Topological Aspects of VDM
Publication TypeConference Paper
Year of Publication2001
AuthorsAnthony Seda, Pascal Hitzler
PublisherFifth Irish Workshop on Formal Methods (IWFM'01)
Full Text

Anthony Seda and Pascal Hitzler, 'VDM meets LCF: Domain-Theoretic and Topological Aspects of VDM,' the Fifth Irish Workshop on Formal Methods (IWFM'01), Dublin, July 2001.