The KRAKATOA tool for certificationof JAVA/JAVACARD programs annotated in JML - Archive ouverte HAL
Article Dans Une Revue Journal of Logic and Algebraic Programming Année : 2004

The KRAKATOA tool for certificationof JAVA/JAVACARD programs annotated in JML

Domaines

Logique en informatique [cs.LO]

Xavier Urbain  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01984932

Soumis le : jeudi 17 janvier 2019-14:21:23

Dernière modification le : jeudi 1 août 2024-13:48:05

Consulter le texte intégral

Dates et versions

hal-01984932 , version 1 (17-01-2019)

Identifiants

Citer

Claude Marché, Christine Paulin-Mohring, Xavier Urbain. The KRAKATOA tool for certificationof JAVA/JAVACARD programs annotated in JML. Journal of Logic and Algebraic Programming, 2004, 58 (1-2), pp.89-106. ⟨10.1016/j.jlap.2003.07.006⟩. ⟨hal-01984932⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

X EC-PARIS CNRS INRIA UMR8623 INRIA2 UNIV-PARIS-SACLAY
81 Consultations
0 Téléchargements

Altmetric

Partager

More