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