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äsentation › Vortrag bei Konferenz oder Fachtagung › Science to science

Zeitraum9 Nov. 2009 → 13 Nov. 2009
Ereignistitel13th Conference of the Spanish Association for Artificial Intelligence
VeranstaltungstypKonferenz