%0 Conference Paper %1 conf/disco/LimongelliMRT90 %A Limongelli, Carla %A Mele, M. Beatrice %A Regio, Mauro %A Temperini, Marco %B DISCO %D 1990 %E Miola, Alfonso %I Springer %K dblp %P 61-70 %T Abstract Specification Of Mathematical Structures And Methods. %U http://dblp.uni-trier.de/db/conf/disco/disco1990.html#LimongelliMRT90 %V 429 %@ 3-540-52531-9

@inproceedings{conf/disco/LimongelliMRT90, added-at = {2019-10-19T00:00:00.000+0200}, author = {Limongelli, Carla and Mele, M. Beatrice and Regio, Mauro and Temperini, Marco}, biburl = {https://www.bibsonomy.org/bibtex/2acb8b7df08293fdc02326af7c04c1a7d/dblp}, booktitle = {DISCO}, crossref = {conf/disco/1990}, editor = {Miola, Alfonso}, ee = {https://doi.org/10.1007/3-540-52531-9_125}, interhash = {4f18c81c753d8a8e689222287a76a6de}, intrahash = {acb8b7df08293fdc02326af7c04c1a7d}, isbn = {3-540-52531-9}, keywords = {dblp}, pages = {61-70}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T15:01:50.000+0200}, title = {Abstract Specification Of Mathematical Structures And Methods.}, url = {http://dblp.uni-trier.de/db/conf/disco/disco1990.html#LimongelliMRT90}, volume = 429, year = 1990 }