Automatic Complexity Analysis

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Series	Lecture Notes in Computer Science
Number	2305
ISSN	0302-9743

OpenUrl availability

@inproceedings{f05f718c390d454bb672bc1c5305a8e4,

title = "Automatic Complexity Analysis",

author = "Flemming Nielson and Nielson, \{Hanne Riis\} and H. Seidl",

year = "2002",

language = "English",

series = "Lecture Notes in Computer Science",

publisher = "Springer Verlag",

number = "2305",

pages = "243--261",

booktitle = "Proc. ESOP'02",

address = "Germany",

}