Login / Signup
Sandy Beidu
Publication Activity (10 Years)
Years Active: 2013-2019
Publications (10 Years): 1
Top Topics
Feature Interactions
Product Lines
Formal Methods
State Machines
Top Venues
FormaliSE@ICSE
ICSE (1)
MiSE@ICSE
MoDeVVa@MoDELS
</>
Publications
</>