TY  - CONF

T1  - Non-local Choice and Implied Scenarios

JO  - 2010 8th IEEE International Conference on Software Engineering and Formal Methods

UR  - https://doi.org/10.1109/sefm.2010.14

PY  - 2010/12/28

AU  - Dan H

AU  - Hierons RM

AU  - Counsell S

ED  - 

DO  - DOI: 10.1109/sefm.2010.14

PB  - IEEE

SP  - 53

EP  - 62

Y2  - 2025/11/05

ER  -