Back to the 1979 catalog

PhD · 1979

Carlos A. P. de Carvalho

On Program Analysis with Inequations and Binary Relations

Year

1979

Academic unit

Computer Science

Surname

Carvalho

Supervisor

Maarten H. van Emden