Vérification de propriétés de programmes flots de données synchrones (1989)

by A-C Glory
Venue:Thesis, Université Joseph Fourier