John Mary Joseph Herbert

• Application of formal methods to digital system design