Loop Summarization using Abstract Transformers
Informazioni aggiuntive
Autori
Kröning D.,
Sharygina N.,
Tonetta S.,
Tsitovich A.,
Wintersteiger C. M.
Tipo
Contributo in atti di convegno
Anno
2008
Lingua
Inglese
Titolo atti di convegno
6th International Symposium on Automated Technology for Verification and Analysis (ATVA)
Editore
Springer
Luogo convegno
Seoul, South Korea
Pagine (o numero dell’articolo)
111-125
