FOPARA 2011: Madrid, Spain

Implicit Complexity

Analysis and Verification of Cost Expressions

Worst Case Execution Time Analysis

maintained by Schloss Dagstuhl LZI, founded at University of Trier