%0 Journal Article %1 journals/mscs/DelzannoGM99 %A Delzanno, Giorgio %A Galmiche, Didier %A Martelli, Maurizio %D 1999 %J Math. Struct. Comput. Sci. %K dblp %N 3 %P 253-286 %T A specification logic for concurrent object-oriented programming. %U http://dblp.uni-trier.de/db/journals/mscs/mscs9.html#DelzannoGM99 %V 9

@article{journals/mscs/DelzannoGM99, added-at = {2020-04-01T00:00:00.000+0200}, author = {Delzanno, Giorgio and Galmiche, Didier and Martelli, Maurizio}, biburl = {https://www.bibsonomy.org/bibtex/2730958a1eea55765dfeb70569b656d2f/dblp}, ee = {http://journals.cambridge.org/action/displayAbstract?aid=44823}, interhash = {d6e21be57cc5d19fc2518783b5db9123}, intrahash = {730958a1eea55765dfeb70569b656d2f}, journal = {Math. Struct. Comput. Sci.}, keywords = {dblp}, number = 3, pages = {253-286}, timestamp = {2020-04-02T11:40:36.000+0200}, title = {A specification logic for concurrent object-oriented programming.}, url = {http://dblp.uni-trier.de/db/journals/mscs/mscs9.html#DelzannoGM99}, volume = 9, year = 1999 }