%0 Conference Paper %1 conf/kbse/BlewittBS01 %A Blewitt, Alex %A Bundy, Alan %A Stark, Ian %B ASE %D 2001 %I IEEE Computer Society %K %P 324-327 %T Automatic Verification of Java Design Patterns. %U http://dblp.uni-trier.de/db/conf/kbse/ase2001.html#BlewittBS01 %@ 0-7695-1426-X

@inproceedings{conf/kbse/BlewittBS01, added-at = {2023-12-13T07:24:01.000+0100}, author = {Blewitt, Alex and Bundy, Alan and Stark, Ian}, biburl = {https://www.bibsonomy.org/bibtex/2f2886ce7fb3729981847d7b2da5cb7e9/admin}, booktitle = {ASE}, crossref = {conf/kbse/2001}, ee = {http://doi.ieeecomputersociety.org/10.1109/ASE.2001.989821}, interhash = {b88478a41a0a1d3b58c1ba76dd375dcf}, intrahash = {f2886ce7fb3729981847d7b2da5cb7e9}, isbn = {0-7695-1426-X}, keywords = {}, pages = {324-327}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T07:24:01.000+0100}, title = {Automatic Verification of Java Design Patterns.}, url = {http://dblp.uni-trier.de/db/conf/kbse/ase2001.html#BlewittBS01}, year = 2001 }