Languages
LOPSTR (Symposium) (2024 :)
Overview
| Works: | 5 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Logic-based program synthesis and transformation = 34th international symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024 : proceedings /
by:
LOPSTR (Symposium) (2024 :); Bowles, Juliana.; Søndergaard, Harald.; SpringerLink (Online service)
(Electronic resources)