Not registered as user yet

Name:Wenming Li
Research interests:Nanjing University of Aeronautics and Astronautics

Contributions

* ICSE 2018 * Author of Poster T22: Runtime Verification of Memory Safety via Source Transformation within the Posters -track