 | 2011 |
|---|
| 5 |       | Walid Taha,
Verónica Gaspes,
Rex Page:
Accurate Programming: Thinking about programs in terms of properties
DSL 2011: 236-260 |
| 4 | | Yan Wang,
Verónica Gaspes:
An embedded language for programming protocol stacks in embedded systems.
PEPM 2011: 63-72 |
| 3 | | Yan Wang,
Verónica Gaspes:
A compositional implementation of Modbus in Protege.
SIES 2011: 123-131 |
| 2010 |
|---|
| 2 | | Yan Wang,
Verónica Gaspes:
A Domain-Specific Language Approach to Protocol Stack Implementation.
PADL 2010: 183-185 |
| 2008 |
|---|
| 1 | | Yan Wang,
Verónica Gaspes:
A Library for Processing Ad hoc Data in Haskell - Embedding a Data Description Language.
IFL 2008: 174-191 |
Data released under the ODC-BY 1.0 license — See also our legal information page