| Mopsa-C: Improved verification for C programs, simple validation of correctness witnesses (competition contribution) R Monat, M Milanese, F Parolini, J Boillot, A Ouadjaout, A Miné International Conference on Tools and Algorithms for the Construction and …, 2024 | 1 | 2024 |
