Formal Methods and Software Engineeringde Zhenhua Duan, Luke OngMateriasSoftware engineeringComputer scienceEdiciones (1)Formal Methods and Software Engineering (2017)Springer · ISBN 9783319686899Más obras de Zhenhua DuanStructured Object-Oriented Formal Language and Method