@inproceedings{Dan_2010,
    doi = {10.1109/sefm.2010.14},
    url = {https://doi.org/10.1109%2Fsefm.2010.14},
    year = {2010},
    month = {sep},
    publisher = {{IEEE}},
    author = {Haitao Dan and Robert M. Hierons and Steve Counsell},
    title = {Non-local Choice and Implied Scenarios},
    booktitle = {2010 8th {IEEE} International Conference on Software Engineering and Formal Methods}
}

@inproceedings{Dan_2010, doi = {10.1109/sefm.2010.14}, url = {https://doi.org/10.1109%2Fsefm.2010.14}, year = {2010}, month = {sep}, publisher = {{IEEE}}, author = {Haitao Dan and Robert M. Hierons and Steve Counsell}, title = {Non-local Choice and Implied Scenarios}, booktitle = {2010 8th {IEEE} International Conference on Software Engineering and Formal Methods} }