Hardware/Software Co-Design Using Functional Languages.

Alan Mycroft, Richard Sharp

Browse the full TACAS paper archive.