Seventh OOPSLA workshop on behavioral semantics of OO business and system specifications.

Haim Kilov, Bernhard Rumpe, Ian Simmonds

Browse the full OOPSLA paper archive.