Loop Summarization and Termination Analysis
Informazioni aggiuntive
Autori
Tsitovich A.,
Sharygina N.,
Wintersteiger C. M.,
Kröning D.
Tipo
Contributo in atti di convegno
Anno
2011
Lingua
Inglese
Titolo atti di convegno
International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
Editore
Springer
Luogo convegno
Saarbrü Germany
Pagine (o numero dell’articolo)
81-95
