%0 Conference Paper %1 conf/fm/Elvang-GoranssonF94 %A Elvang-Gøransson, Morten %A Fields, Robert E. %B FME %D 1994 %E Naftalin, Maurice %E Denvir, B. Tim %E Bertran, Miquel %I Springer %K dblp %P 175-189 %T An Extended VDM Refinement Relation. %U http://dblp.uni-trier.de/db/conf/fm/fme1994.html#Elvang-GoranssonF94 %V 873 %@ 3-540-58555-9

@inproceedings{conf/fm/Elvang-GoranssonF94, added-at = {2017-05-20T00:00:00.000+0200}, author = {Elvang-Gøransson, Morten and Fields, Robert E.}, biburl = {https://www.bibsonomy.org/bibtex/28b3b06683f07a0f22434e42e3d67dedd/dblp}, booktitle = {FME}, crossref = {conf/fm/1994}, editor = {Naftalin, Maurice and Denvir, B. Tim and Bertran, Miquel}, ee = {https://doi.org/10.1007/3-540-58555-9_95}, interhash = {e08f69a0e2bcb04a5ff66bc47958d0c5}, intrahash = {8b3b06683f07a0f22434e42e3d67dedd}, isbn = {3-540-58555-9}, keywords = {dblp}, pages = {175-189}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:59:22.000+0200}, title = {An Extended VDM Refinement Relation.}, url = {http://dblp.uni-trier.de/db/conf/fm/fme1994.html#Elvang-GoranssonF94}, volume = 873, year = 1994 }