3 citations · 7 across the 12 of their papers we have counts for
1 paper · 1 filter
Meng Wang, Cong Tian, Nan Zhang +2
C language is one of the most popular languages for software systems. In order to verify safety, reliability and security properties of such systems written in C, a tool UMC4M for…