%0 Conference Paper %1 conf/icsoc/VergaraGR23 %A Vergara, Sebastián %A González, Laura %A Ruggia, Raúl %B ICSOC Workshops %D 2023 %E Monti, Flavia %E Plebani, Pierluigi %E Moha, Naouel %E Paik, Hye-Young %E Barzen, Johanna %E Ramachandran, Gowri Sankar %E Bianchini, Devis %E Tamburri, Damian A. %E Mecella, Massimo %I Springer %K dblp %P 253-264 %T Formalizing Microservices Patterns with Event-B: The Case of Service Registry. %U http://dblp.uni-trier.de/db/conf/icsoc/icsoc2023w.html#VergaraGR23 %V 14518 %@ 978-981-97-0989-2

@inproceedings{conf/icsoc/VergaraGR23, added-at = {2024-03-25T00:00:00.000+0100}, author = {Vergara, Sebastián and González, Laura and Ruggia, Raúl}, biburl = {https://www.bibsonomy.org/bibtex/2f42a744e493297fc01d2269d6e913433/dblp}, booktitle = {ICSOC Workshops}, crossref = {conf/icsoc/2023w}, editor = {Monti, Flavia and Plebani, Pierluigi and Moha, Naouel and Paik, Hye-Young and Barzen, Johanna and Ramachandran, Gowri Sankar and Bianchini, Devis and Tamburri, Damian A. and Mecella, Massimo}, ee = {https://doi.org/10.1007/978-981-97-0989-2_20}, interhash = {942188c2aa9cb0a6dd4d7a358e760de2}, intrahash = {f42a744e493297fc01d2269d6e913433}, isbn = {978-981-97-0989-2}, keywords = {dblp}, pages = {253-264}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T11:23:28.000+0200}, title = {Formalizing Microservices Patterns with Event-B: The Case of Service Registry.}, url = {http://dblp.uni-trier.de/db/conf/icsoc/icsoc2023w.html#VergaraGR23}, volume = 14518, year = 2023 }