eVolCheck: Incremental Upgrade Checker for C
Informazioni aggiuntive
Autori
Fedyukovich G.,
Sery O.,
Sharygina N.
Tipo
Contributo in atti di convegno
Anno
2013
Lingua
Inglese
Titolo atti di convegno
19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
Editore
Springer
