Jass - Java with Assertions

Author： Bartetzko D.   Fischer C.   Moller M.   Wehrheim H.  

Publisher： Elsevier

ISSN： 1571-0661

Source： Electronic Notes in Theoretical Computer Science, Vol.55, Iss.2, 2004-01, pp. : 1-15

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Dynamic Assertions Using TXP

By Dudani S.   Geada J.   Jakacki G.   Vainer D.  

Electronic Notes in Theoretical Computer Science, Vol. 55, Iss. 2, 2004-01 ,pp. : 1-13

Elsevier

Access to resources Recommend Favorite

Inductive assertions and operational semantics

By Moore J.  

International Journal on Software Tools for Technology Transfer, Vol. 8, Iss. 4-5, 2006-08 ,pp. : 359-371

Springer Publishing Company

Access to resources Recommend Favorite

Automatic generation of invariants and intermediate assertions

By Bjorner N.   Browne A.   Manna Z.  

Theoretical Computer Science, Vol. 173, Iss. 1, 1997-02 ,pp. : 49-87

Elsevier

Access to resources Recommend Favorite

Typing correspondence assertions for communication protocols

By Gordon A.D.   Jeffrey A.  

Theoretical Computer Science, Vol. 300, Iss. 1, 2003-05 ,pp. : 379-409

Elsevier

Access to resources Recommend Favorite

On Cryptographically Strong Bindings of SAML Assertions to Transport Layer Security

By  

International Journal of Mobile Computing and Multimedia Communications (IJMCMC), Vol. 3, Iss. 4, 2011-10 ,pp. : 20-35

IGI Global_journal

Access to resources Recommend Favorite