Professor Dr. Pascal Fontaine

Adresse Université de Liège
Institut d'Electricité Montéfiore
4000 Liège 1
Belgien

Projekte

Als Beteiligte Person
- abgeschlossene Projekte
  - SMArT // Satisfiability modulo Arithmetik und Theorien (Sachbeihilfen)
Als Kooperationspartner
- laufende Projekte
  - SMT Techniken für arithmetische Theorien (Sachbeihilfen)