Experience Report: Teaching Code Analysis and Verification Using Frama-C
2021 ◽
Vol 349
◽
pp. 69-75
Salwa Souaf
◽
Frédéric Loulergue
1978 ◽
Vol 7
(1)
◽
pp. 42-43
2006 ◽
Vol 5
(4)
◽
pp. 317-335
Michael Seltzer
◽
Gabor Kelemen
2014 ◽
Vol 8
(1)
◽
pp. 23-28
Felipe Torres Leite
◽
Jarbele C. S. Coutinho
◽
Reudismam Rolim de Sousa
Pengyu Nie
◽
Ahmet Celik
◽
Matthew Coley
◽
Aleksandar Milicevic
◽
Jonathan Bell
◽
...
Keita Suzuki
◽
Takafumi Kubota
◽
Kenji Kono
He Zhang
◽
Runfeng Mao
◽
Huang Huang
◽
Qiming Dai
◽
Xin Zhou
◽
...
Giulia Toti
◽
Mohammad Amin Alipour