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

Type de document :
Communication dans un congrès
12th Workshop on Formal Techniques for Java-like Programs, Jul 2010, Maribor, Slovenia. 2010
Liste complète des métadonnées

https://hal.inria.fr/inria-00535871
Contributeur : Jurgen Vinju <>
Soumis le : samedi 13 novembre 2010 - 16:19:34
Dernière modification le : mardi 24 avril 2018 - 10:22:39

Identifiants

  • HAL Id : inria-00535871, version 1

Collections

Citation

Stijn De Gouw, Frank 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. 2010. 〈inria-00535871〉

Partager

Métriques

Consultations de la notice

159