@inproceedings{DBLP:conf/isola/BistarelliS24,
  author       = {Stefano Bistarelli and
                  Francesco Santini},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Local Spaces in Soft Concurrent Constraint Programming Oriented to
                  Security},
  booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation.
                  REoCAS Colloquium in Honor of Rocco De Nicola - 12th International
                  Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings,
                  Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {15219},
  pages        = {373--391},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-73709-1\_23},
  doi          = {10.1007/978-3-031-73709-1\_23},
  timestamp    = {Tue, 22 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/BistarelliS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"XM9MJXBmsptAf8ZL4","bibbaseid":"bistarelli-santini-localspacesinsoftconcurrentconstraintprogrammingorientedtosecurity-2024","author_short":["Bistarelli, S.","Santini, F."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Stefano"],"propositions":[],"lastnames":["Bistarelli"],"suffixes":[]},{"firstnames":["Francesco"],"propositions":[],"lastnames":["Santini"],"suffixes":[]}],"editor":[{"firstnames":["Tiziana"],"propositions":[],"lastnames":["Margaria"],"suffixes":[]},{"firstnames":["Bernhard"],"propositions":[],"lastnames":["Steffen"],"suffixes":[]}],"title":"Local Spaces in Soft Concurrent Constraint Programming Oriented to Security","booktitle":"Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I","series":"Lecture Notes in Computer Science","volume":"15219","pages":"373–391","publisher":"Springer","year":"2024","url":"https://doi.org/10.1007/978-3-031-73709-1\\_23","doi":"10.1007/978-3-031-73709-1_23","timestamp":"Tue, 22 Oct 2024 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/isola/BistarelliS24.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/isola/BistarelliS24,\n author = {Stefano Bistarelli and\n Francesco Santini},\n editor = {Tiziana Margaria and\n Bernhard Steffen},\n title = {Local Spaces in Soft Concurrent Constraint Programming Oriented to\n Security},\n booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.\n REoCAS Colloquium in Honor of Rocco De Nicola - 12th International\n Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings,\n Part {I}},\n series = {Lecture Notes in Computer Science},\n volume = {15219},\n pages = {373--391},\n publisher = {Springer},\n year = {2024},\n url = {https://doi.org/10.1007/978-3-031-73709-1\\_23},\n doi = {10.1007/978-3-031-73709-1\\_23},\n timestamp = {Tue, 22 Oct 2024 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/isola/BistarelliS24.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Bistarelli, S.","Santini, F."],"editor_short":["Margaria, T.","Steffen, B."],"key":"DBLP:conf/isola/BistarelliS24","id":"DBLP:conf/isola/BistarelliS24","bibbaseid":"bistarelli-santini-localspacesinsoftconcurrentconstraintprogrammingorientedtosecurity-2024","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-031-73709-1\\_23"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/53/6380.bib","dataSources":["LXyJ7X9n6g55d9qgh","NMm7YpyiDxjcnpopo","dYbBqY6vzA8Y5nLL3"],"keywords":[],"search_terms":["local","spaces","soft","concurrent","constraint","programming","oriented","security","bistarelli","santini"],"title":"Local Spaces in Soft Concurrent Constraint Programming Oriented to Security","year":2024}