%0 Conference Paper %1 conf/fmco/Alba-CastroAE09 %A Alba-Castro, Mauricio %A Alpuente, María %A Escobar, Santiago %B FMCO %D 2009 %E de Boer, Frank S. %E Bonsangue, Marcello M. %E Hallerstede, Stefan %E Leuschel, Michael %I Springer %K dblp %P 105-124 %T Abstract Certification of Global Non-interference in Rewriting Logic. %U http://dblp.uni-trier.de/db/conf/fmco/fmco2009.html#Alba-CastroAE09 %V 6286 %@ 978-3-642-17070-6

@inproceedings{conf/fmco/Alba-CastroAE09, added-at = {2020-11-10T00:00:00.000+0100}, author = {Alba-Castro, Mauricio and Alpuente, María and Escobar, Santiago}, biburl = {https://www.bibsonomy.org/bibtex/21ed697faa03ff5ab66bd118111a419a6/dblp}, booktitle = {FMCO}, crossref = {conf/fmco/2009}, editor = {de Boer, Frank S. and Bonsangue, Marcello M. and Hallerstede, Stefan and Leuschel, Michael}, ee = {https://www.wikidata.org/entity/Q57978163}, interhash = {2de7f6888ccb89541b8e80e5d7a07a66}, intrahash = {1ed697faa03ff5ab66bd118111a419a6}, isbn = {978-3-642-17070-6}, keywords = {dblp}, pages = {105-124}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-11-11T11:41:30.000+0100}, title = {Abstract Certification of Global Non-interference in Rewriting Logic.}, url = {http://dblp.uni-trier.de/db/conf/fmco/fmco2009.html#Alba-CastroAE09}, volume = 6286, year = 2009 }