Loop Summarization using Abstract Transformers
Additional information
Authors
Kröning D.,
Sharygina N.,
Tonetta S.,
Tsitovich A.,
Wintersteiger C. M.
Type
Article in conference proceedings
Year
2008
Language
English
Conference proceedings
6th International Symposium on Automated Technology for Verification and Analysis (ATVA)
Publisher
Springer
Meeting place
Seoul, South Korea
Pages (or article number)
111-125
