BibTeX record conf/coordination/MotaGR21

• > Home > conf/coordination/MotaGR21

@inproceedings{DBLP:conf/coordination/MotaGR21,
  author       = {Jo{\~{a}}o Mota and
                  Marco Giunti and
                  Ant{\'{o}}nio Ravara},
  editor       = {Ferruccio Damiani and
                  Ornela Dardha},
  title        = {Java Typestate Checker},
  booktitle    = {Coordination Models and Languages - 23rd {IFIP} {WG} 6.1 International
                  Conference, {COORDINATION} 2021, Held as Part of the 16th International
                  Federated Conference on Distributed Computing Techniques, DisCoTec
                  2021, Valletta, Malta, June 14-18, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12717},
  pages        = {121--133},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-78142-2\_8},
  doi          = {10.1007/978-3-030-78142-2\_8},
  timestamp    = {Tue, 13 Jul 2021 13:27:55 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/MotaGR21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}