%0 Conference Paper %1 conf/fmics/Alba-CastroAE08 %A Alba-Castro, Mauricio %A Alpuente, María %A Escobar, Santiago %B FMICS %D 2008 %E Cofer, Darren D. %E Fantechi, Alessandro %I Springer %K dblp %P 182-198 %T Automated Certification of Non-Interference in Rewriting Logic. %U http://dblp.uni-trier.de/db/conf/fmics/fmics2008.html#Alba-CastroAE08 %V 5596 %@ 978-3-642-03239-4

@inproceedings{conf/fmics/Alba-CastroAE08, 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/2e4c5cc83cd3748a14e3b0f1874194ea1/dblp}, booktitle = {FMICS}, crossref = {conf/fmics/2008}, editor = {Cofer, Darren D. and Fantechi, Alessandro}, ee = {https://www.wikidata.org/entity/Q57978181}, interhash = {286fcd8016e4b204d15278410a78d9f3}, intrahash = {e4c5cc83cd3748a14e3b0f1874194ea1}, isbn = {978-3-642-03239-4}, keywords = {dblp}, pages = {182-198}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-11-11T11:41:42.000+0100}, title = {Automated Certification of Non-Interference in Rewriting Logic.}, url = {http://dblp.uni-trier.de/db/conf/fmics/fmics2008.html#Alba-CastroAE08}, volume = 5596, year = 2008 }