Dejan Nickovic · 2 obras en el catálogoObrasFFormal Modeling and Analysis of Timed SystemsFormal Modeling and Analysis of Timed SystemsCContracts for System DesignContracts for System Design