TY  - RPRT
TI  - Semantic Properties for Lightweight Specification in Knowledgeable Development Environments
AU  - Joseph R. Kiniry
PY  - 2002
UR  - https://arxiv.org/abs/cs/0204035
ID  - cs/0204035
ER  -