%0 Book Section %1 conf/korso/CorneliusHL95 %A Cornelius, Felix %A Hußmann, Heinrich %A Löwe, Michael %B KORSO Book %D 1995 %E Broy, Manfred %E Jähnichen, Stefan %I Springer %K dblp %P 417-432 %T The KORSO Case Study for Software Engineering with Formal Methods: A Medical Information System. %U http://dblp.uni-trier.de/db/conf/korso/korso1995.html#CorneliusHL95 %V 1009 %@ 3-540-60589-4

@incollection{conf/korso/CorneliusHL95, added-at = {2017-05-22T00:00:00.000+0200}, author = {Cornelius, Felix and Hußmann, Heinrich and Löwe, Michael}, biburl = {https://www.bibsonomy.org/bibtex/21a31959abf4603d37ec95210d30580f9/dblp}, booktitle = {KORSO Book}, crossref = {conf/korso/1995}, editor = {Broy, Manfred and Jähnichen, Stefan}, ee = {https://doi.org/10.1007/BFb0015474}, interhash = {b0751303e65d9d092c8972cb650b2c96}, intrahash = {1a31959abf4603d37ec95210d30580f9}, isbn = {3-540-60589-4}, keywords = {dblp}, pages = {417-432}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T11:54:21.000+0200}, title = {The KORSO Case Study for Software Engineering with Formal Methods: A Medical Information System.}, url = {http://dblp.uni-trier.de/db/conf/korso/korso1995.html#CorneliusHL95}, volume = 1009, year = 1995 }