( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Abstract Certification of Global Non-Interference in Rewriting Logic

, , и . CoRR, (2010)

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.

Alba Fishta

Alba Scotti

Alba Polo

Alba Sulaj

Alba Mesa

 

Другие публикации лиц с тем же именем

Automated Certification of Non-Interference in Rewriting Logic., , и . FMICS, том 5596 из Lecture Notes in Computer Science, стр. 182-198. Springer, (2008)Abstract Certification of Global Non-interference in Rewriting Logic., , и . FMCO, том 6286 из Lecture Notes in Computer Science, стр. 105-124. Springer, (2009)A Tool for Automated Certification of Java Source Code in Maude., , , , и . PROLE, том 248 из Electronic Notes in Theoretical Computer Science, стр. 19-29. Elsevier, (2008)Approximating Non-interference and Erasure in Rewriting Logic., , и . SYNASC, стр. 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, , и . CoRR, (2010)Automatic Certification of Java Source Code in Rewriting Logic., , и . FMICS, том 4916 из Lecture Notes in Computer Science, стр. 200-217. Springer, (2007)