BibTeX record conf/birthday/NicolaDIM19

• > Home > conf/birthday/NicolaDIM19

@inproceedings{DBLP:conf/birthday/NicolaDIM19,
  author       = {Rocco De Nicola and
                  Tan Duong and
                  Omar Inverso and
                  Franco Mazzanti},
  editor       = {Maurice H. ter Beek and
                  Alessandro Fantechi and
                  Laura Semini},
  title        = {A Systematic Approach to Programming and Verifying Attribute-Based
                  Communication Systems},
  booktitle    = {From Software Engineering to Formal Methods and Tools, and Back -
                  Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {11865},
  pages        = {377--396},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30985-5\_22},
  doi          = {10.1007/978-3-030-30985-5\_22},
  timestamp    = {Sat, 09 Apr 2022 12:46:08 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/NicolaDIM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}