Byron Cook · 2 obras en el catálogoObrasCComputer Aided VerificationComputer Aided VerificationFFormal Methods for Industrial Critical SystemsFormal Methods for Industrial Critical Systems