Application of formal methods to digital system design
By: John Mary Joseph Herbert
Contributors: University of Cambridge
Published: 1986
Language: eng
Notes: Thesis (doctoral)--University of Cambridge, 1986.