Mark D. Aagaard · 1 obras en el catálogoObrasFFormal Methods in Computer-Aided DesignFormal Methods in Computer-Aided Design