Paper Description: LL96b

@inproceedings{LL96b,

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

title = {Specification, Abstraction and Verification in a Concurrent

Object-Oriented Language (Extended Abstract, Preliminary Version)},

booktitle = {Proceedings of the ECOOP'96 workshop on Proof Theory of Concurrent Object-Oriented Programming},

editors = {J.P.~Bahsoun and J.~Fiadero and D.~Galmiche and A.~Yonezawa},

year = {1996} }