Home›Books›Formal specification and designFormal specification and designby L. M. G. Feijs, H. B. M. JonkersNo description available.DevelopmentComputer softwareObject-oriented programming (Computer science)Computer software, developmentObject-oriented programming (computer science)