Formal Methods

Workshop, Beihang University, School of Reliability and Systems Engineering, 2011