TY  - RPRT
TI  - OTS/CafeOBJ2JML: An attempt to combine Design By Contract with Behavioral Specifications
AU  - Nikolaos Triantafyllou
AU  - Petros Stefaneas
AU  - Panayiotis Frangos
PY  - 2012
UR  - https://arxiv.org/abs/1205.5106
ID  - 1205.5106
ER  -