%0 Journal Article %1 journals/taosd/BoerGJKW14 %A de Boer, Frank S. %A de Gouw, Stijn %A Johnsen, Einar Broch %A Kohn, Andreas %A Wong, Peter Y. H. %B Trans. Aspect-Oriented Software Development XI %D 2014 %E Chiba, Shigeru %E Tanter, Éric %E Bodden, Eric %E Maoz, Shahar %E Kienzle, Jörg %I Springer %J LNCS Trans. Aspect Oriented Softw. Dev. %K dblp %P 1-26 %T Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study. %U http://dblp.uni-trier.de/db/journals/taosd/taosd11.html#BoerGJKW14 %V 11 %@ 978-3-642-55098-0

@article{journals/taosd/BoerGJKW14, added-at = {2019-07-04T00:00:00.000+0200}, author = {de Boer, Frank S. and de Gouw, Stijn and Johnsen, Einar Broch and Kohn, Andreas and Wong, Peter Y. H.}, biburl = {https://www.bibsonomy.org/bibtex/29ddc71ed15ba014a7018aa3374d41f47/dblp}, booktitle = {Trans. Aspect-Oriented Software Development XI}, crossref = {journals/taosd/2014-11}, editor = {Chiba, Shigeru and Tanter, Éric and Bodden, Eric and Maoz, Shahar and Kienzle, Jörg}, ee = {https://doi.org/10.1007/978-3-642-55099-7_1}, interhash = {1e6b171a589d2534fde444f715af1575}, intrahash = {9ddc71ed15ba014a7018aa3374d41f47}, isbn = {978-3-642-55098-0}, journal = {LNCS Trans. Aspect Oriented Softw. Dev.}, keywords = {dblp}, pages = {1-26}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T13:20:37.000+0200}, title = {Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study.}, url = {http://dblp.uni-trier.de/db/journals/taosd/taosd11.html#BoerGJKW14}, volume = 11, year = 2014 }