Automated Termination Analysis of Programs using Dependency Pairs

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

Periode22. okt. 2009
BegivenhedstitelAutomated Termination Analysis of Programs using Depemndency Pairs
BegivenhedstypeKonference
ArrangørTRESOR
PlaceringLausanne, SchweizVis på kort