Repository | Directory | Profile
Pierangelo Miglioli
Constructive theories with abstract data types for program synthesis
1987
in: Mathematical logic and its applications, Dordrecht : Springer
Repository | Directory | Profile
Constructive theories with abstract data types for program synthesis
1987
in: Mathematical logic and its applications, Dordrecht : Springer