BibTeX-Entry:
@inproceedings{BCMR98a,
author = {Manfred Broy and Derek Coleman and Tom S. E. Maibaum and Bernhard Rumpe},
title = {PSMT -- ICSE'98 Workshop on Precise Semantics for Software Modeling Techniques},
booktitle = {Proceedings of International Conference on Software Engineerig (ICSE'98) Addendum},
year = {1998},
publisher = {IEEE Computer Society}
}
The workshop homepage.
Bernhard Rumpe