Automated Termination Analysis of Programs using Dependency Pairs

Schneider-Kamp, P. (Foredragsholder)

Aktivitet: Foredrag og mundtlige bidragForedrag og præsentationer i privat eller offentlig virksomhed

Periode4. nov. 2009
BegivenhedstitelAutomated Termination Analysis of Programs using Dependency Pairs
BegivenhedstypeKonference
PlaceringKøbenhavn, Danmark