Abdelghani Alidra, Antoine Beugnard, Hubert Godfroy, Pierre Kimmel, Gurvan Le Guernic. A language agnostic approach to modeling requirements: specification and verification. In Esther Guerra, Ludovico Iovino, editors, MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, Virtual Event, Canada, 18-23 October, 2020, Companion Proceedings. ACM, 2020. [doi]
@inproceedings{AlidraBGKG20,
title = {A language agnostic approach to modeling requirements: specification and verification},
author = {Abdelghani Alidra and Antoine Beugnard and Hubert Godfroy and Pierre Kimmel and Gurvan Le Guernic},
year = {2020},
doi = {10.1145/3417990.3419224},
url = {https://doi.org/10.1145/3417990.3419224},
researchr = {https://researchr.org/publication/AlidraBGKG20},
cites = {0},
citedby = {0},
booktitle = {MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, Virtual Event, Canada, 18-23 October, 2020, Companion Proceedings},
editor = {Esther Guerra and Ludovico Iovino},
publisher = {ACM},
isbn = {978-1-4503-8135-2},
}