Benjamin Criveli Thompson
-
An algebraic framework for verifying the correctness of hardware with input and output: a formalization in HOL
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
CARTESIAN STREAM TRANSFORMER COMPOSITION
Fundamenta Informaticae