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

Mihai Nica (Speaker)

Activity: Talk or presentationTalk at conference or symposiumScience to science

Period9 Nov 200913 Nov 2009
Event title13th Conference of the Spanish Association for Artificial Intelligence
Event typeConference