Formal Techniques for Distributed Objects, Components, and Systems - 39th IFIP WG 6.1 International Conference, FORTE 2019, Proceedings

Jorge A. Perez (Editor), Nobuko Yoshida (Editor)

Research output: Book/ReportBookAcademicpeer-review

Original languageEnglish
PublisherSpringer Verlag
Number of pages308
Volume11535
ISBN (Electronic)978-3-030-21759-4
ISBN (Print)978-3-030-21758-7
DOIs
Publication statusPublished - 2019

Publication series

NameLecture Notes in Computer Science

Cite this