IRIT
,
Univ. Paul Sabatier
,
ACADIE
Mathieu Giorgino
Thesis: Inductive representation, proofs and refinement of pointer structures
Online copy
Last modified: Tue Nov 15 19:11:12 CET 2016