Inproceedings,
Model-checking legal contracts with SymboleoPC.
A. Parvizimosaed, M. Roveri, A. Rasti, D. Amyot, L. Logrippo, and J. Mylopoulos.MoDELS, page 278-288. ACM, (2022)
Meta data
- BibTeX key
- conf/models/ParvizimosaedRR22
- entry type
- inproceedings
- booktitle
- MoDELS
- year
- 2022
- pages
- 278-288
- publisher
- ACM
- crossref
- conf/models/2022
- ee
- https://doi.org/10.1145/3550355.3552449
- isbn
- 978-1-4503-9466-6
- url
- http://dblp.uni-trier.de/db/conf/models/models2022.html#ParvizimosaedRR22
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/models/ParvizimosaedRR22
%A Parvizimosaed, Alireza
%A Roveri, Marco
%A Rasti, Aidin
%A Amyot, Daniel
%A Logrippo, Luigi
%A Mylopoulos, John
%B MoDELS
%D 2022
%E Syriani, Eugene
%E Sahraoui, Houari A.
%E Bencomo, Nelly
%E Wimmer, Manuel
%I ACM
%K dblp
%P 278-288
%T Model-checking legal contracts with SymboleoPC.
%U http://dblp.uni-trier.de/db/conf/models/models2022.html#ParvizimosaedRR22
%@ 978-1-4503-9466-6
@inproceedings{conf/models/ParvizimosaedRR22,
added-at = {2023-03-21T00:00:00.000+0100},
author = {Parvizimosaed, Alireza and Roveri, Marco and Rasti, Aidin and Amyot, Daniel and Logrippo, Luigi and Mylopoulos, John},
biburl = {https://www.bibsonomy.org/bibtex/2edae54b3170f463e3e6eebaff98fb34f/dblp},
booktitle = {MoDELS},
crossref = {conf/models/2022},
editor = {Syriani, Eugene and Sahraoui, Houari A. and Bencomo, Nelly and Wimmer, Manuel},
ee = {https://doi.org/10.1145/3550355.3552449},
interhash = {e6c46eb08d6ca14f6766db8057f81beb},
intrahash = {edae54b3170f463e3e6eebaff98fb34f},
isbn = {978-1-4503-9466-6},
keywords = {dblp},
pages = {278-288},
publisher = {ACM},
timestamp = {2024-04-09T21:59:55.000+0200},
title = {Model-checking legal contracts with SymboleoPC.},
url = {http://dblp.uni-trier.de/db/conf/models/models2022.html#ParvizimosaedRR22},
year = 2022
}