Home›Books›Formal Methods and Software Engineering (vol. # 3785)Formal Methods and Software Engineering (vol. # 3785)by Kung-Kiu LauNo description available.Logic designComputer scienceSoftware engineeringFormal methods (Computer science)Congresses