Advances in Formal Design Methods for CAD - Lamarcus Crowne - Inbunden | Bokus