Archived publication
Archived publication
CreolE - A pragmatic extension to Creol
5037/Leister_-_CreolE_-_A_pragmatic_extension_to_Creol.pdf
August 18, 2009
DART
- Filename: 5037/Leister_-_CreolE_-_A_pragmatic_extension_to_Creol.pdf
- Areas: Formal Methods, M3C
- Keywords: CreolE, 'Creol, CREDO, cpp
- Page(s): 7
- Name and number of project: CREDO 33826
- Title: CreolE - A pragmatic extension to Creol
- Author(s): Leister, Wolfgang
- Report number: DART/05/09
- Published date: August 18, 2009