Prototyping a tool environment for run-time assertion checking in JML with Communication Histories - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Prototyping a tool environment for run-time assertion checking in JML with Communication Histories

Domaines

Informatique et langage [cs.CL]

Jurgen Vinju  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00535871

Soumis le : samedi 13 novembre 2010-16:19:34

Dernière modification le : mercredi 15 mars 2023-08:52:08

Fichier non déposé

Dates et versions

inria-00535871 , version 1 (13-11-2010)

Identifiants

  • HAL Id : inria-00535871 , version 1

Citer

Stijn de Gouw, Frank S. de Boer, Jurgen Vinju. Prototyping a tool environment for run-time assertion checking in JML with Communication Histories. 12th Workshop on Formal Techniques for Java-like Programs, Jul 2010, Maribor, Slovenia. ⟨inria-00535871⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INRIA INRIA2
94 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More