Inproceedings,
Minimal Assumptions Refinement for Realizable Specifications.
D. Cavezza, D. Alrajeh, and A. György.FormaliSE@ICSE, page 66-76. ACM, (2020)
Meta data
- BibTeX key
- conf/icse/CavezzaA020
- entry type
- inproceedings
- booktitle
- FormaliSE@ICSE
- year
- 2020
- pages
- 66-76
- publisher
- ACM
- crossref
- conf/icse/2020formalise
- ee
- https://ieeexplore.ieee.org/document/10186554
- isbn
- 978-1-4503-7071-4
- url
- http://dblp.uni-trier.de/db/conf/icse/formalise2020.html#CavezzaA020
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/icse/CavezzaA020
%A Cavezza, Davide G.
%A Alrajeh, Dalal
%A György, András
%B FormaliSE@ICSE
%D 2020
%E Bae, Kyungmin
%E Bianculli, Domenico
%E Gnesi, Stefania
%E Plat, Nico
%I ACM
%K dblp
%P 66-76
%T Minimal Assumptions Refinement for Realizable Specifications.
%U http://dblp.uni-trier.de/db/conf/icse/formalise2020.html#CavezzaA020
%@ 978-1-4503-7071-4
@inproceedings{conf/icse/CavezzaA020,
added-at = {2023-07-27T00:00:00.000+0200},
author = {Cavezza, Davide G. and Alrajeh, Dalal and György, András},
biburl = {https://www.bibsonomy.org/bibtex/2f69288420e5e08c51b3159f6417bd8a5/dblp},
booktitle = {FormaliSE@ICSE},
crossref = {conf/icse/2020formalise},
editor = {Bae, Kyungmin and Bianculli, Domenico and Gnesi, Stefania and Plat, Nico},
ee = {https://ieeexplore.ieee.org/document/10186554},
interhash = {c0c8016640fcdb092397e5b2ca72ee45},
intrahash = {f69288420e5e08c51b3159f6417bd8a5},
isbn = {978-1-4503-7071-4},
keywords = {dblp},
pages = {66-76},
publisher = {ACM},
timestamp = {2024-04-10T00:12:41.000+0200},
title = {Minimal Assumptions Refinement for Realizable Specifications.},
url = {http://dblp.uni-trier.de/db/conf/icse/formalise2020.html#CavezzaA020},
year = 2020
}