%0 Conference Paper %1 journals/entcs/Alba-CastroAEOR09 %A Alba-Castro, Mauricio %A Alpuente, María %A Escobar, Santiago %A Ojeda, Pedro %A Romero, Daniel %B PROLE %D 2008 %E Almendros-Jiménez, Jesús Manuel %I Elsevier %K dblp %P 19-29 %T A Tool for Automated Certification of Java Source Code in Maude. %U http://dblp.uni-trier.de/db/journals/entcs/entcs248.html#Alba-CastroAEOR09 %V 248

@inproceedings{journals/entcs/Alba-CastroAEOR09, added-at = {2023-03-09T00:00:00.000+0100}, author = {Alba-Castro, Mauricio and Alpuente, María and Escobar, Santiago and Ojeda, Pedro and Romero, Daniel}, biburl = {https://www.bibsonomy.org/bibtex/2650ad2aaf1a4d0c2a887575bd51f5788/dblp}, booktitle = {PROLE}, crossref = {conf/prole/2008}, editor = {Almendros-Jiménez, Jesús Manuel}, ee = {https://www.wikidata.org/entity/Q57978175}, interhash = {f52fa3ccfc66428d7fb93f656b5b4657}, intrahash = {650ad2aaf1a4d0c2a887575bd51f5788}, keywords = {dblp}, pages = {19-29}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T13:14:11.000+0200}, title = {A Tool for Automated Certification of Java Source Code in Maude.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs248.html#Alba-CastroAEOR09}, volume = 248, year = 2008 }