%0 Journal Article %1 journals/scp/DaviesMWW15 %A Davies, Jim %A Milward, David %A Wang, Chen-Wei %A Welch, James %D 2015 %J Sci. Comput. Program. %K %P 88-113 %T Formal model-driven engineering of critical information systems. %U http://dblp.uni-trier.de/db/journals/scp/scp103.html#DaviesMWW15 %V 103

@article{journals/scp/DaviesMWW15, added-at = {2023-12-12T18:15:22.000+0100}, author = {Davies, Jim and Milward, David and Wang, Chen-Wei and Welch, James}, biburl = {https://www.bibsonomy.org/bibtex/2b40ec684d267122b2b32899b203f277e/admin}, ee = {https://doi.org/10.1016/j.scico.2014.11.004}, interhash = {0fa93514d9e7ac864d72a9807e03e534}, intrahash = {b40ec684d267122b2b32899b203f277e}, journal = {Sci. Comput. Program.}, keywords = {}, pages = {88-113}, timestamp = {2023-12-12T18:15:22.000+0100}, title = {Formal model-driven engineering of critical information systems.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp103.html#DaviesMWW15}, volume = 103, year = 2015 }