Communication Dans Un Congrès
Année : 2010
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
Dates et versions
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⟩
94
Consultations
0
Téléchargements