%0 Journal Article %1 journals/sigsoft/MeseguerT00 %A Meseguer, José %A Talcott, Carolyn L. %D 2000 %J ACM SIGSOFT Softw. Eng. Notes %K dblp %N 1 %P 104 %T Maude. %U http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft25.html#MeseguerT00 %V 25

@article{journals/sigsoft/MeseguerT00, added-at = {2023-09-21T00:00:00.000+0200}, author = {Meseguer, José and Talcott, Carolyn L.}, biburl = {https://www.bibsonomy.org/bibtex/23a7b01e1b2129dccee5e98bab676ead7/dblp}, ee = {https://doi.org/10.1145/340855.341115}, interhash = {0482074b7e31180d8d956cfe9bb33e40}, intrahash = {3a7b01e1b2129dccee5e98bab676ead7}, journal = {ACM SIGSOFT Softw. Eng. Notes}, keywords = {dblp}, number = 1, pages = 104, timestamp = {2024-04-08T18:56:26.000+0200}, title = {Maude.}, url = {http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft25.html#MeseguerT00}, volume = 25, year = 2000 }