Program Analysis With Regular Tree Languages

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Beskrivelse

Invited talk, 21st International Symposium on Logic-Based Program Synthesis and Transformation
Periode19 jul. 2011
Sted for afholdelseUkendt ekstern organisation, Danmark