Paper Description: LecLen97a

@inproceedings{LecLen97a,

author = {U.~Lechner and C.~Lengauer},

title = {Specification, Abstraction and Verification in a Concurrent

Object-Oriented Language},

booktitle = {Special Issues in Object-Oriented Programming},

editor = {M.~M{\"u}hlh{\"a}user},

year = {1997},

publisher = "dpunkt",

pages = {\mbox{544-547}}, }