Observable Runtime Behavior for Defects Indicated by Automated Static Analysis

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

Original language	English
Title of host publication	Proc. of 12th International Conference on Computer Aided Systems Theory (EuroCAST 2009)
Number of pages	8
Publication status	Published - 2009

Fields of science

@inproceedings{54c19e0f145645ccbed150aa09e7688c,

title = "Observable Runtime Behavior for Defects Indicated by Automated Static Analysis",

author = "K. Wolfmaier and Rudolf Ramler and Gabor Guta and Heinz Dobler",

year = "2009",

language = "English",

booktitle = "Proc. of 12th International Conference on Computer Aided Systems Theory (EuroCAST 2009)",

}