| langue originale | Anglais |
|---|---|
| titre | Proceedings of the fifth Workshop on Structural Operational Semantics (SOS 2008) |
| Etat de la publication | Publié - 2008 |
Formalisation of C language interfaces
Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque