%0 Conference Paper %1 conf/ifm/XiongCTB02 %A Xiong, Haiyan %A Curzon, Paul %A Tahar, Sofiène %A Blandford, Ann %B IFM %D 2002 %E Butler, Michael J. %E Petre, Luigia %E Sere, Kaisa %I Springer %K %P 205-224 %T Formally Linking MDG and HOL Based on a Verified MDG System. %U http://dblp.uni-trier.de/db/conf/ifm/ifm2002.html#XiongCTB02 %V 2335 %@ 3-540-43703-7

@inproceedings{conf/ifm/XiongCTB02, added-at = {2023-12-13T00:54:20.000+0100}, author = {Xiong, Haiyan and Curzon, Paul and Tahar, Sofiène and Blandford, Ann}, biburl = {https://www.bibsonomy.org/bibtex/29bdc34e958ae958443e2a81bc2ad34eb/admin}, booktitle = {IFM}, crossref = {conf/ifm/2002}, editor = {Butler, Michael J. and Petre, Luigia and Sere, Kaisa}, ee = {https://www.wikidata.org/entity/Q61929730}, interhash = {6a1984472d9479cb4294e6abb18e6b8b}, intrahash = {9bdc34e958ae958443e2a81bc2ad34eb}, isbn = {3-540-43703-7}, keywords = {}, pages = {205-224}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T00:54:20.000+0100}, title = {Formally Linking MDG and HOL Based on a Verified MDG System.}, url = {http://dblp.uni-trier.de/db/conf/ifm/ifm2002.html#XiongCTB02}, volume = 2335, year = 2002 }