%0 Journal Article %1 journals/fmsd/XiongCTB07 %A Xiong, Haiyan %A Curzon, Paul %A Tahar, Sofiène %A Blandford, Ann %D 2007 %J Formal Methods Syst. Des. %K %N 2 %P 83-116 %T Providing a formal linkage between MDG and HOL. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd30.html#XiongCTB07 %V 30

@article{journals/fmsd/XiongCTB07, added-at = {2023-12-13T02:08:10.000+0100}, author = {Xiong, Haiyan and Curzon, Paul and Tahar, Sofiène and Blandford, Ann}, biburl = {https://www.bibsonomy.org/bibtex/2f3dfdc6182b533bca66c6225243308c3/admin}, ee = {https://www.wikidata.org/entity/Q61929511}, interhash = {7b5d6e004090e19ab1d5ef5042732483}, intrahash = {f3dfdc6182b533bca66c6225243308c3}, journal = {Formal Methods Syst. Des.}, keywords = {}, number = 2, pages = {83-116}, timestamp = {2023-12-13T02:08:10.000+0100}, title = {Providing a formal linkage between MDG and HOL.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd30.html#XiongCTB07}, volume = 30, year = 2007 }