24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR)
Event date
SEP 09-11, 2014
Event location
Univ Kent, Canterbury, ENGLAND
results
24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR)
SEP 09-11, 2014
Univ Kent, Canterbury, ENGLAND