Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Loop Summarization using Abstract Transformers

Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, and Christoph M. Wintersteiger

Details

Publication typeInproceedings
Published inProceedings of ATVA 2008
Number5311
SeriesLNCS
PublisherSpringer
> Publications > Loop Summarization using Abstract Transformers