Research output

Research output per year 2007 2007 2008 2011 2012 2012

• 1 Chapter
• 1 Conference contribution
• 1 Chapter (peer-reviewed)
• 1 Abstract

Research output per year

Research output per year

Search results

• 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).

  Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution