Formalisation of C language interfaces

Gustavo Adolfo Ospina Agudelo, Baudouin Le Charlier

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationProceedings of the fifth Workshop on Structural Operational Semantics (SOS 2008)
Publication statusPublished - 2008

Cite this