A foundation for formal reuse of hardware

Ana Cristina Vieira de Melo, Howard Barringer, Paolo Camurati (Editor), Hans Eveking (Editor)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Cite this