Formalisation of C language interfaces

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

langue originaleAnglais
titreProceedings of the fifth Workshop on Structural Operational Semantics (SOS 2008)
Etat de la publicationPublié - 2008

Contient cette citation

Ospina Agudelo, G. A., & Le Charlier, B. (2008). Formalisation of C language interfaces. Dans Proceedings of the fifth Workshop on Structural Operational Semantics (SOS 2008)