Peter Gorm Larsen

Latest

• From Software Specifications to Constraint Programming