%0 Conference Paper %1 conf/zum/PoerschkeLN03 %A Poerschke, Christine %A Lightfoot, David E. %A Nealon, John L. %B ZB %D 2003 %E Bert, Didier %E Bowen, Jonathan P. %E King, Steve %E Waldén, Marina %I Springer %K dblp %P 497-512 %T A Formal Specification in B of a Medical Decision Support System. %U http://dblp.uni-trier.de/db/conf/zum/zb2003.html#PoerschkeLN03 %V 2651 %@ 3-540-40253-5

@inproceedings{conf/zum/PoerschkeLN03, added-at = {2017-05-21T00:00:00.000+0200}, author = {Poerschke, Christine and Lightfoot, David E. and Nealon, John L.}, biburl = {https://www.bibsonomy.org/bibtex/290deea26defb5b05db133f01f0c54657/dblp}, booktitle = {ZB}, crossref = {conf/zum/2003}, editor = {Bert, Didier and Bowen, Jonathan P. and King, Steve and Waldén, Marina}, ee = {https://doi.org/10.1007/3-540-44880-2_29}, interhash = {bc95d8e4690d689467b55cdca5054e64}, intrahash = {90deea26defb5b05db133f01f0c54657}, isbn = {3-540-40253-5}, keywords = {dblp}, pages = {497-512}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:28:20.000+0200}, title = {A Formal Specification in B of a Medical Decision Support System.}, url = {http://dblp.uni-trier.de/db/conf/zum/zb2003.html#PoerschkeLN03}, volume = 2651, year = 2003 }