%0 Conference Paper %1 conf/sefm/BelliM22 %A Belli, Dimitri %A Mazzanti, Franco %B SEFM Workshops %D 2022 %E Masci, Paolo %E Bernardeschi, Cinzia %E Graziani, Pierluigi %E Koddenbrock, Mario %E Palmieri, Maurizio %I Springer %K dblp %P 164-173 %T A Case Study in Formal Analysis of System Requirements. %U http://dblp.uni-trier.de/db/conf/sefm/sefm2022w.html#BelliM22 %V 13765 %@ 978-3-031-26236-4

@inproceedings{conf/sefm/BelliM22, added-at = {2023-02-25T00:00:00.000+0100}, author = {Belli, Dimitri and Mazzanti, Franco}, biburl = {https://www.bibsonomy.org/bibtex/21e70f816d483c5d0f74a13c2c97ea20f/dblp}, booktitle = {SEFM Workshops}, crossref = {conf/sefm/2022w}, editor = {Masci, Paolo and Bernardeschi, Cinzia and Graziani, Pierluigi and Koddenbrock, Mario and Palmieri, Maurizio}, ee = {https://doi.org/10.1007/978-3-031-26236-4_14}, interhash = {95b9482d14000762ddb0654ca1233f48}, intrahash = {1e70f816d483c5d0f74a13c2c97ea20f}, isbn = {978-3-031-26236-4}, keywords = {dblp}, pages = {164-173}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T02:24:00.000+0200}, title = {A Case Study in Formal Analysis of System Requirements.}, url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2022w.html#BelliM22}, volume = 13765, year = 2022 }