On the complexity of program debugging using constraints for modeling the program’s syntax and semantics

Mihai Nica (Redner/in)

Aktivität: Vortrag oder PräsentationVortrag bei Konferenz oder FachtagungScience to science

Zeitraum9 Nov 200913 Nov 2009
Ereignistitel13th Conference of the Spanish Association for Artificial Intelligence
VeranstaltungstypKonferenz