Harald Søndergaard

Identifiers

Open LibraryOL14050716A

Books by Harald Søndergaard

Total count: 1

Logic-Based Program Synthesis and Transformation34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings

Springer2024-01-01