%0 Book Section %1 conf/korso/LewerentzLRS95 %A Lewerentz, Claus %A Lindner, Thomas %A Rüping, Andreas %A Sekerinski, Emil %B KORSO Book %D 1995 %E Broy, Manfred %E Jähnichen, Stefan %I Springer %K %P 92-111 %T On Object-Oriented Design and Verification. %U http://dblp.uni-trier.de/db/conf/korso/korso1995.html#LewerentzLRS95 %V 1009 %@ 3-540-60589-4

@incollection{conf/korso/LewerentzLRS95, added-at = {2023-12-12T19:32:26.000+0100}, author = {Lewerentz, Claus and Lindner, Thomas and Rüping, Andreas and Sekerinski, Emil}, biburl = {https://www.bibsonomy.org/bibtex/2cd57b6b1a724ab7c1e6e35b89c3f1004/admin}, booktitle = {KORSO Book}, crossref = {conf/korso/1995}, editor = {Broy, Manfred and Jähnichen, Stefan}, ee = {https://doi.org/10.1007/BFb0015457}, interhash = {2243b3ca6d5e3e0d07e73185dba9b544}, intrahash = {cd57b6b1a724ab7c1e6e35b89c3f1004}, isbn = {3-540-60589-4}, keywords = {}, pages = {92-111}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T19:32:26.000+0100}, title = {On Object-Oriented Design and Verification.}, url = {http://dblp.uni-trier.de/db/conf/korso/korso1995.html#LewerentzLRS95}, volume = 1009, year = 1995 }