TY  - RPRT
TI  - SoS contract verification using statistical model checking
AU  - Alessandro Mignogna
AU  - Leonardo Mangeruca
AU  - Benoît Boyer
AU  - Axel Legay
AU  - Alexandre Arnold
PY  - 2013
DO  - 10.4204/eptcs.133.7
UR  - https://arxiv.org/abs/1311.3632
ID  - 1311.3632
ER  -