Browsing by Author Carvalho,N
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) |
---|---|---|
2014 | Formal Verification of kLIBC with the WP Frama-C Plug-in | Carvalho,N; Sousa,CD; Jorge Sousa Pinto; Tomb,A |
Issue Date | Title | Author(s) |
---|---|---|
2014 | Formal Verification of kLIBC with the WP Frama-C Plug-in | Carvalho,N; Sousa,CD; Jorge Sousa Pinto; Tomb,A |