Book Sections
Year : 2007
Claude Marché : Connect in order to contact the contributor
https://hal.inria.fr/inria-00431399
Submitted on : Thursday, November 12, 2009-10:52:25 AM
Last modification on : Tuesday, February 7, 2023-2:44:44 PM
Dates and versions
Identifiers
- HAL Id : inria-00431399 , version 1
Cite
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⟩
39
View
0
Download