Hardware/software co-design using functional languages,” in (2001)

by A Mycroft, R Sharp
Venue:Proceedings of TACAS 2001 – Tools and Algorithms for Construction and Analysis of Systems,