Corina S. Păsăreanu · 2 obras en el catálogoObrasFormal Aspects of Component SoftwareComputer Aided Verification