(Q106245755)
Statements
LOPSTR 2015 (English)
1 reference
Logic-Based Program Synthesis and Transformation - 25th International Symposium (English)
1 reference
1 reference
1 reference
13 July 2015
1 reference
15 July 2015
1 reference
Identifiers
LOPSTR (25. : 2015 : Siena)
1 reference
LOPSTR (25. : 2015 : Siena)
1 reference