Specification and Modeling: An Academic Perspective

@inproceedings{Broy:ICSE01,
  author    = {Manfred Broy},
  title     = {Specification and Modeling: An Academic Perspective},
  booktitle = {ICSE},
  pages     = {673--675},
  publisher = {{IEEE} Computer Society},
  year      = {2001},
}