(Q106245758)
Statements
LOPSTR 2005 (English)
1 reference
Logic Based Program Synthesis and Transformation, 15th International Symposium (English)
1 reference
1 reference
7 September 2005
1 reference
9 September 2005
1 reference
Identifiers
LOPSTR (15 : 2005 : London)
1 reference
LOPSTR (15 : 2005 : London)
1 reference