Formal Techniques for Distributed Objects, Components, and Systems - 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings

Alexey Gotsman, Ana Sokolova

Research output: Other contributionCommunication

Original languageEnglish
VolumeLecture Notes in Computer Science
Publication statusPublished - 2020

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume12136

Fields of Science and Technology Classification 2012

  • 102 Computer Sciences

Cite this