Résultat de recherche

Résultat de recherche par an 2007 2007 2008 2011 2012 2012

• 1 Chapitre
• 1 Article dans les actes d'une conférence/un colloque
• 1 Chapitre (revu par des pairs)
• 1 Résumé

Résultat de recherche par an

Résultat de recherche par an

Résultats de recherche

• Article dans les actes d'une conférence/un colloque

  Formalisation of C language interfaces

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

  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