Photo de Gustavo Adolfo OSPINA AGUDELO

Gustavo Adolfo OSPINA AGUDELO

  • 0 Citations
  • 0 h-Index
20072012

Résultat de recherche par an

Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Résultat de recherche

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

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érenceArticle dans les actes d'une conférence/un colloque