Thiago C. de Sousa, Luciano Kelvin, Constantino D. Neto, Carlos Giovanni Nunes de Carvalho. A Formal Semantics for Use Case Diagram Via Event-B. JSW, 12(3):189-200, 2017. [doi]
@article{SousaKNC17,
title = {A Formal Semantics for Use Case Diagram Via Event-B},
author = {Thiago C. de Sousa and Luciano Kelvin and Constantino D. Neto and Carlos Giovanni Nunes de Carvalho},
year = {2017},
doi = {10.17706/jsw.12.3.189-200},
url = {https://doi.org/10.17706/jsw.12.3.189-200},
researchr = {https://researchr.org/publication/SousaKNC17},
cites = {0},
citedby = {0},
journal = {JSW},
volume = {12},
number = {3},
pages = {189-200},
}