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
