Loop Summarization Using Abstract Transformers

14 years 2 months ago

marization using Abstract Transformers Daniel Kr

Daniel Kroening, Natasha Sharygina, Stefano Tonett

Abstract Transformers | ATVA 2008 | Carnegie Mellon University | Fondazione Bruno Kessler | Hardware |

claim paper

Added	18 Oct 2010
Updated	18 Oct 2010
Type	Conference
Year	2008
Where	ATVA
Authors	Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger

Comments (0)