%0 Book
%T Formal Techniques for Distributed Objects, Components, and Systems
%T 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
%+ Institute IMDEA Software [Madrid]
%+ University of Salzburg
%A Gotsman, Alexey
%A Sokolova, Ana
%@ 978-3-030-50085-6
%I Springer International Publishing
%S Lecture Notes in Computer Science
%V LNCS-12136
%8 2020
%D 2020
%R 10.1007/978-3-030-50086-3
%Z Computer Science [cs]Books
%X Book Front Matter of LNCS 12136
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-03283230/document
%2 https://inria.hal.science/hal-03283230/file/IFIPLNCS12136DL_2020_BookFrontmatter.pdf
%L hal-03283230
%U https://inria.hal.science/hal-03283230
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-FORTE
%~ IFIP-LNCS-12136