Loop Summarization using Abstract Transformers
Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, and Christoph M. Wintersteiger
2008
In Proceedings of ATVA 2008
Publisher Springer
Details
| Type | Inproceedings |
| Number | 5311 |
| Series | LNCS |
Related People
Share
