Hardware/Software Co-Design using Functional Languages (2001)

by Alan Mycroft , Richard Sharp
Venue:In Proceedings of TACAS (2001
Citations:16 - 7 self