Yann Régis-Gianas

Own Thesis
Related Theses

From types to logical assertions : automatic or assisted proofs of property about functional programs. (Des types aux assertions logiques : preuve automatique ou assistée de propriétés sur les programmes fonctionnels).

Y. Régis-Gianas. Paris Diderot University, France, (2007)

Doctoral advisor:
First reviewer:

Reviewer:
Advisor:
Author: Yann Régis-Gianas
Editor:
Other:

No resources found

sort by
added at
title
author
publication date
entry type