Size-Change Termination and Bound Analysis

Activity: Talk or presentation types › Lecture and oral contribution

Period20 Oct 2005
Event titleThe 17th Nordic Workshop on Programming Theory (NWPT'05)
Event typeConference
LocationKøbenhavn, DenmarkShow on map