Size-Change Termination and Bound Analysis

Activity: Talk or presentation typesLecture and oral contribution

James Emil Avery - Lecturer

20 Oct 2005

Event (Conference)

TitleThe 17th Nordic Workshop on Programming Theory (NWPT'05)
Date20/10/200520/10/2005
CityKøbenhavn
CountryDenmark

ID: 1245473