%0 Journal Article %1 journals/fmsd/KaraormanA05 %A Karaorman, Murat %A Abercrombie, Parker %D 2005 %J Formal Methods Syst. Des. %K dblp %N 3 %P 275-312 %T jContractor: Introducing Design-by-Contract to Java Using Reflective Bytecode Instrumentation. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd27.html#KaraormanA05 %V 27

@article{journals/fmsd/KaraormanA05, added-at = {2020-03-13T00:00:00.000+0100}, author = {Karaorman, Murat and Abercrombie, Parker}, biburl = {https://www.bibsonomy.org/bibtex/2c5c8c489bae4b416be9b0576df9ec0d4/dblp}, ee = {https://doi.org/10.1007/s10703-005-3400-1}, interhash = {f3b8fe9dbfa67159a7921463d10c399b}, intrahash = {c5c8c489bae4b416be9b0576df9ec0d4}, journal = {Formal Methods Syst. Des.}, keywords = {dblp}, number = 3, pages = {275-312}, timestamp = {2020-03-14T11:51:48.000+0100}, title = {jContractor: Introducing Design-by-Contract to Java Using Reflective Bytecode Instrumentation.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd27.html#KaraormanA05}, volume = 27, year = 2005 }