%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 in System Design %K dblp %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 = {2019-06-02T00:00:00.000+0200}, author = {Xiong, Haiyan and Curzon, Paul and Tahar, Sofiène and Blandford, Ann}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2faae3b756aab2608db3773d4606dbc7d/dblp}, ee = {https://www.wikidata.org/entity/Q61929511}, interhash = {7b5d6e004090e19ab1d5ef5042732483}, intrahash = {faae3b756aab2608db3773d4606dbc7d}, journal = {Formal Methods in System Design}, keywords = {dblp}, number = 2, pages = {83-116}, timestamp = {2019-09-27T07:45:22.000+0200}, 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 }