Ricerca di contatti, progetti,
corsi e pubblicazioni

Termination Analysis with Compositional Transition Invariants

Informazioni aggiuntive

Autori
Kröning D., Sharygina N., Tsitovich A., Wintersteiger C. M.
Tipo
Contributo in atti di convegno
Anno
2010
Lingua
Inglese
Parole chiave
Termination, transition invariants
Titolo atti di convegno
International Conference on Computer-Aided Verification (CAV)
Editore
Springer
Luogo convegno
Edinburgh, UK
Pagine (o numero dell’articolo)
89-103