|
Author:Stefano TonettaPublications |
---|
Goran Frehse, Alessandro Abate, Dieky Adzkiya, Anna Becchi, Lei Bu, Alessandro Cimatti, Mirco Giacobbe, Alberto Griggio, Sergio Mover, Muhammad Syifa'ul Mufid, Idriss Riouak, Stefano Tonetta and Enea Zaffanella | |
Keyphrasesloop invariants, loop summarization, Loopfrog, static analysis. |
|
|