Chapitre D'ouvrage
Année : 2007
Claude Marché : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00431399
Soumis le : jeudi 12 novembre 2009-10:52:25
Dernière modification le : samedi 10 février 2024-03:07:53
Dates et versions
Identifiants
- HAL Id : inria-00431399 , version 1
Citer
Claude Marché. Towards Modular Algebraic Specifications for Pointer Programs: a Case Study. Hubert Comon-Lundh and Claude Kirchner and Hélène Kirchner. Rewriting, Computation and Proof, 4600, Springer, pp.235-258, 2007, lecture notes in computer science. ⟨inria-00431399⟩
43
Consultations
0
Téléchargements