Gerardo Schneider's Publications: Ongoing Work
[
1
]
Gilles Barthe, Gordon J. Pace, and Gerardo Schneider. Contract embedded languages for services, 2009. In preparation. [
bib
]
This file was generated by
bibtex2html
1.92.