Report copyright - FORMAL METHODS FOR OPEN OB)ECT-BASED ...978-0-387-35520...A Practical Approach to Incremental Specification Charles lAkos, Glenn Lewis Refinement of objects and operations in Object-Z
Please pass captcha verification before submit form