Not registered as user yet

Name:Bin Sheng
Affiliation:Nanjing University of Aeronautics and Astronautics

Contributions

* ICSE 2018 * Author of Poster W23: Deciding Weak Monitorability for Runtime Verification within the Posters -track