%0 Conference Paper %1 conf/models/AlidraBGKG20 %A Alidra, Abdelghani %A Beugnard, Antoine %A Godfroy, Hubert %A Kimmel, Pierre %A Guernic, Gurvan Le %B MoDELS (Companion) %D 2020 %E Guerra, Esther %E Iovino, Ludovico %I ACM %K dblp %P 78:1-78:10 %T A language agnostic approach to modeling requirements: specification and verification. %U http://dblp.uni-trier.de/db/conf/models/models2020c.html#AlidraBGKG20 %@ 978-1-4503-8135-2

@inproceedings{conf/models/AlidraBGKG20, added-at = {2022-02-23T00:00:00.000+0100}, author = {Alidra, Abdelghani and Beugnard, Antoine and Godfroy, Hubert and Kimmel, Pierre and Guernic, Gurvan Le}, biburl = {https://www.bibsonomy.org/bibtex/21c845919d741371d91486209cdaff317/dblp}, booktitle = {MoDELS (Companion)}, crossref = {conf/models/2020c}, editor = {Guerra, Esther and Iovino, Ludovico}, ee = {https://doi.org/10.1145/3417990.3419224}, interhash = {b6d891b54d3c0e86bd41fc719c6d15dc}, intrahash = {1c845919d741371d91486209cdaff317}, isbn = {978-1-4503-8135-2}, keywords = {dblp}, pages = {78:1-78:10}, publisher = {ACM}, timestamp = {2024-04-09T21:59:14.000+0200}, title = {A language agnostic approach to modeling requirements: specification and verification.}, url = {http://dblp.uni-trier.de/db/conf/models/models2020c.html#AlidraBGKG20}, year = 2020 }