Size-Change Termination and Bound Analysis

Aktivitet: Tale eller præsentation - typerForedrag og mundtlige bidrag

James Emil Avery - Foredragsholder

Bibliografisk note: Tre timers foredrag og diskussion.
16 jul. 2007

Begivenhed (Konference)

TitelSize-Change Termination and Bound Analysis
Dato16/07/200716/07/2007
EmneAutomatisk programanalyse
ByLIPN, Université Paris-Nord
LandFrankrig

ID: 15433296