@misc{697b14085a1a4369ba62c554d44271c8,
title = "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",
author = "Alexey Gotsman and Ana Sokolova",
year = "2020",
language = "English",
isbn = "ISBN 978-3-030-50085-6",
volume = "Lecture Notes in Computer Science",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
type = "Other",
}