PhD thesis,

Analyses statiques en programmation logique avec contraintes

.
Paris 7, (1996)

Meta data

Tags

Users

  • @dparigot

Comments and Reviews