Size-Change Termination and Bound Analysis

Aktivitet: Tale eller præsentation - typer › Foredrag 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/2007 → 16/07/2007
EmneAutomatisk programanalyse
ByLIPN, Université Paris-Nord
Land/OmrådeFrankrig

ID: 15433296