VDM^ meets LCF. Domain-Theoretic and Topological Aspects of VDM^

From International Center for Computational Logic

Toggle side column

VDM^ meets LCF. Domain-Theoretic and Topological Aspects of VDM^

Pascal HitzlerPascal Hitzler,  Anthony K. SedaAnthony K. Seda
VDM^ meets LCF. Domain-Theoretic and Topological Aspects of VDM^


Pascal Hitzler, Anthony K. Seda
VDM^ meets LCF. Domain-Theoretic and Topological Aspects of VDM^
Proceedings of the 5th Irish Workshop on Formal Methods, IWFM'01, Electronic Workshops in Computing (eWiC), 2001. British Computer Society
@inproceedings{HS2001,
  author    = {Pascal Hitzler and Anthony K. Seda},
  title     = {VDM^ meets {LCF.} Domain-Theoretic and Topological Aspects of
               {VDM^}},
  booktitle = {Proceedings of the 5th Irish Workshop on Formal Methods,
               {IWFM'01}},
  series    = {Electronic Workshops in Computing (eWiC)},
  publisher = {British Computer Society},
  year      = {2001}
}