V'erification de propri'et'es de programmes flots de donn'ees synchrones. Thesis, Universit'e Joseph Fourier (1989)

by A-C Glory