Repository | Directory | Profile

150330

Ugo Moscato

Bibliographie 1

Constructive theories with abstract data types for program synthesis

1987

Pierangelo MiglioliUgo MoscatoMario Ornaghi

in: Mathematical logic and its applications, Dordrecht : Springer

Open Access Link