TY  - CONF

T1  - Non-local Choice and Implied Scenarios

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

PY  - 2010/01/01

AU  - Dan H

AU  - Hierons RM

AU  - Counsell S

ED  - 

DO  - DOI: 10.1109/sefm.2010.14

PB  - IEEE

SN  - 9781424482894

Y2  - 2024/12/22

ER  -