( en | de | ru )

 

Disambiguation of "Alba-Castro, Mauricio"

Author of the publication

copydeleteadd this publication to your clipboard
Abstract Certification of Global Non-interference in Rewriting Logic.

, , and . FMCO, volume 6286 of Lecture Notes in Computer Science, page 105-124. Springer, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Alba Fishta

Alba Mesa

Alba Sulaj

Alba Scotti

Alba Polo

 

Other publications of authors with the same name

Automated Certification of Non-Interference in Rewriting Logic., , and . FMICS, volume 5596 of Lecture Notes in Computer Science, page 182-198. Springer, (2008)Abstract Certification of Global Non-interference in Rewriting Logic., , and . FMCO, volume 6286 of Lecture Notes in Computer Science, page 105-124. Springer, (2009)A Tool for Automated Certification of Java Source Code in Maude., , , , and . PROLE, volume 248 of Electronic Notes in Theoretical Computer Science, page 19-29. Elsevier, (2008)Approximating Non-interference and Erasure in Rewriting Logic., , and . SYNASC, page 124-132. IEEE Computer Society, (2010)Procedimiento para la realización de pruebas de unidad de software orientado por objetos a nivel de clases.. Rev. Avances en Sistemas Informática, 8 (2): 165-176 (2011)Abstract Certification of Global Non-Interference in Rewriting Logic, , and . CoRR, (2010)Automatic Certification of Java Source Code in Rewriting Logic., , and . FMICS, volume 4916 of Lecture Notes in Computer Science, page 200-217. Springer, (2007)