TY  - RPRT
TI  - A Module Language for Typing by Contracts
AU  - Glouche, Yann
AU  - Talpin, Jean-Pierre
AU  - LeGuernic, Paul
AU  - Gautier, Thierry
PY  - 2009
UR  - https://ntrs.nasa.gov/citations/20100024481
ID  - 20100024481
ER  -