Search - Formal Techniques for Distributed Objects, Components, and Systems Access content directly

Filter your results

1 Array
Image document

Formal Techniques for Distributed Objects, Components, and Systems

Alexey Gotsman , Ana Sokolova
Springer International Publishing, LNCS-12136, 2020, Lecture Notes in Computer Science, 978-3-030-50085-6. ⟨10.1007/978-3-030-50086-3⟩
Books hal-03283230v1