Hardware/software co-design using functional languages (2000)

by A Mycroft, R Sharp
Venue:In Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (TACAS), volume 2031 of LNCS