Jaco van de Pol · 2 obras en el catálogoObrasModel Checking SoftwareFFormal Methods : Applications and TechnologyFormal Methods : Applications and Technology