LOPSTR 2005: International Symposium on Logic-Based Program Synthesis and Transformation 2005

in ,

About the Conference

Conference Dates

Proceedings