ICSE 2001Specification and Modeling: An Industrial PerspectiveBran SelicDOI 10.1109/icse.2001.919153dblpNo abstract available.BibTeX@inproceedings{Selic:ICSE01, author = {Bran Selic}, title = {Specification and Modeling: An Industrial Perspective}, booktitle = {ICSE}, pages = {676--677}, publisher = {{IEEE} Computer Society}, year = {2001}, }