%0 Conference Paper %1 conf/iwpse/GhezziMM07 %A Ghezzi, Carlo %A Mocci, Andrea %A Monga, Mattia %B IWPSE %D 2007 %E Penta, Massimiliano Di %E Lanza, Michele %I ACM %K dblp %P 98-105 %T Efficient recovery of algebraic specifications for stateful components. %U http://dblp.uni-trier.de/db/conf/iwpse/iwpse2007.html#GhezziMM07 %@ 978-1-59593-722-3

@inproceedings{conf/iwpse/GhezziMM07, added-at = {2023-06-26T00:00:00.000+0200}, author = {Ghezzi, Carlo and Mocci, Andrea and Monga, Mattia}, biburl = {https://www.bibsonomy.org/bibtex/2f3da4edf59923f67cbaa5f1c8a823e18/dblp}, booktitle = {IWPSE}, crossref = {conf/iwpse/2007}, editor = {Penta, Massimiliano Di and Lanza, Michele}, ee = {https://doi.org/10.1145/1294948.1294972}, interhash = {bfc453a6c60075ec6f2bc6e60506de30}, intrahash = {f3da4edf59923f67cbaa5f1c8a823e18}, isbn = {978-1-59593-722-3}, keywords = {dblp}, pages = {98-105}, publisher = {ACM}, timestamp = {2024-04-09T10:08:24.000+0200}, title = {Efficient recovery of algebraic specifications for stateful components.}, url = {http://dblp.uni-trier.de/db/conf/iwpse/iwpse2007.html#GhezziMM07}, year = 2007 }