Books details

  • Formal Techniques for Distributed Objects, Components, and Systems - 38th IFIP WG 6.1 International Conference, FORTE 2018
  • Jun 2019
  • Springer
  • Christel Baier, Luis Caires
  • Lecture Notes in Computer Science
  • 10854
  • https://doi.org/10.1007/978-3-319-92612-4
  • DBLP:conf/forte/2018
  • 10.1007/978-3-319-92612-4
  • 20 Jun 2019