Inproceedings,
COVER: Change-based Goal Verifier and Reasoner.
C. Menghi, P. Spoletini, and C. Ghezzi.REFSQ Workshops, volume 1796 of CEUR Workshop Proceedings, CEUR-WS.org, (2017)
Meta data
- BibTeX key
- conf/refsq/MenghiSG17a
- entry type
- inproceedings
- booktitle
- REFSQ Workshops
- year
- 2017
- publisher
- CEUR-WS.org
- series
- CEUR Workshop Proceedings
- volume
- 1796
- crossref
- conf/refsq/2017w
- ee
- https://ceur-ws.org/Vol-1796/poster-paper-7.pdf
- url
- http://dblp.uni-trier.de/db/conf/refsq/refsq2017w.html#MenghiSG17a
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/refsq/MenghiSG17a
%A Menghi, Claudio
%A Spoletini, Paola
%A Ghezzi, Carlo
%B REFSQ Workshops
%D 2017
%E Knauss, Eric
%E Susi, Angelo
%E Ameller, David
%E Berry, Daniel M.
%E Dalpiaz, Fabiano
%E Daneva, Maya
%E Daun, Marian
%E Dieste, Oscar
%E Forbrig, Peter
%E Groen, Eduard C.
%E Herrmann, Andrea
%E Horkoff, Jennifer
%E Kifetew, Fitsum Meshesha
%E Kirikova, Marite
%E Knauss, Alessia
%E Maeder, Patrick
%E Massacci, Fabio
%E Palomares, Cristina
%E Ralyté, Jolita
%E Seffah, Ahmed
%E Siena, Alberto
%E Tenbergen, Bastian
%I CEUR-WS.org
%K dblp
%T COVER: Change-based Goal Verifier and Reasoner.
%U http://dblp.uni-trier.de/db/conf/refsq/refsq2017w.html#MenghiSG17a
%V 1796
@inproceedings{conf/refsq/MenghiSG17a,
added-at = {2023-03-10T00:00:00.000+0100},
author = {Menghi, Claudio and Spoletini, Paola and Ghezzi, Carlo},
biburl = {https://www.bibsonomy.org/bibtex/2e3cfb3669fd8611e264a86108d870e90/dblp},
booktitle = {REFSQ Workshops},
crossref = {conf/refsq/2017w},
editor = {Knauss, Eric and Susi, Angelo and Ameller, David and Berry, Daniel M. and Dalpiaz, Fabiano and Daneva, Maya and Daun, Marian and Dieste, Oscar and Forbrig, Peter and Groen, Eduard C. and Herrmann, Andrea and Horkoff, Jennifer and Kifetew, Fitsum Meshesha and Kirikova, Marite and Knauss, Alessia and Maeder, Patrick and Massacci, Fabio and Palomares, Cristina and Ralyté, Jolita and Seffah, Ahmed and Siena, Alberto and Tenbergen, Bastian},
ee = {https://ceur-ws.org/Vol-1796/poster-paper-7.pdf},
interhash = {fceb2e054a22813e6273e3faf1078cfe},
intrahash = {e3cfb3669fd8611e264a86108d870e90},
keywords = {dblp},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
timestamp = {2024-04-09T16:56:48.000+0200},
title = {COVER: Change-based Goal Verifier and Reasoner.},
url = {http://dblp.uni-trier.de/db/conf/refsq/refsq2017w.html#MenghiSG17a},
volume = 1796,
year = 2017
}