Sciweavers

73
Voted
ATVA
2008
Springer
111views Hardware» more  ATVA 2008»
14 years 11 months ago
Loop Summarization Using Abstract Transformers
marization using Abstract Transformers Daniel Kr
Daniel Kroening, Natasha Sharygina, Stefano Tonett...