%0 Book Section %1 conf/maude/ClavelDELMMT07h %A Clavel, Manuel %A Durán, Francisco %A Eker, Steven %A Lincoln, Patrick %A Martí-Oliet, Narciso %A Meseguer, José %A Talcott, Carolyn L. %B All About Maude %D 2007 %E Clavel, Manuel %E Durán, Francisco %E Eker, Steven %E Lincoln, Patrick %E Martí-Oliet, Narciso %E Meseguer, José %E Talcott, Carolyn L. %I Springer %K dblp %P 339-372 %T Object-Based Programming. %U http://dblp.uni-trier.de/db/conf/maude/maude2007.html#ClavelDELMMT07h %V 4350 %@ 978-3-540-71940-3

@incollection{conf/maude/ClavelDELMMT07h, added-at = {2023-09-20T00:00:00.000+0200}, author = {Clavel, Manuel and Durán, Francisco and Eker, Steven and Lincoln, Patrick and Martí-Oliet, Narciso and Meseguer, José and Talcott, Carolyn L.}, biburl = {https://www.bibsonomy.org/bibtex/2018715ee7f5d97b219db4632f59cf023/dblp}, booktitle = {All About Maude}, crossref = {conf/maude/2007}, editor = {Clavel, Manuel and Durán, Francisco and Eker, Steven and Lincoln, Patrick and Martí-Oliet, Narciso and Meseguer, José and Talcott, Carolyn L.}, ee = {https://doi.org/10.1007/978-3-540-71999-1_11}, interhash = {7bd1a12031344a29466f991d982e795c}, intrahash = {018715ee7f5d97b219db4632f59cf023}, isbn = {978-3-540-71940-3}, keywords = {dblp}, pages = {339-372}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T07:57:34.000+0200}, title = {Object-Based Programming.}, url = {http://dblp.uni-trier.de/db/conf/maude/maude2007.html#ClavelDELMMT07h}, volume = 4350, year = 2007 }