Loop Summarization using Abstract Transformers

In  Proceedings of ATVA 2008

Publisher  Springer

Details

TypeInproceedings
Number5311
SeriesLNCS
> Publications > Loop Summarization using Abstract Transformers