%0 Conference Paper %1 conf/zum/MeiraC90 %A de Lemos Meira, Silvio Romero %A Cavalcanti, Ana %B Z User Workshop %D 1990 %E Nicholls, John E. %I Springer %K dblp %P 173-192 %T Modular Object-oriented Z Specifications. %U http://dblp.uni-trier.de/db/conf/zum/zum1990.html#MeiraC90 %@ 3-540-19672-2

@inproceedings{conf/zum/MeiraC90, added-at = {2022-02-21T00:00:00.000+0100}, author = {de Lemos Meira, Silvio Romero and Cavalcanti, Ana}, biburl = {https://www.bibsonomy.org/bibtex/2e32a63d139182b68c43154abce16cd8e/dblp}, booktitle = {Z User Workshop}, crossref = {conf/zum/1990}, editor = {Nicholls, John E.}, interhash = {61a16e74ae7fa90ab4a1a6735dc40d65}, intrahash = {e32a63d139182b68c43154abce16cd8e}, isbn = {3-540-19672-2}, keywords = {dblp}, pages = {173-192}, publisher = {Springer}, series = {Workshops in Computing}, timestamp = {2024-04-10T04:44:06.000+0200}, title = {Modular Object-oriented Z Specifications.}, url = {http://dblp.uni-trier.de/db/conf/zum/zum1990.html#MeiraC90}, year = 1990 }