Books details
- Formal Techniques for Distributed Objects, Components, and Systems - 38th IFIP WG 6.1 International Conference, FORTE 2018
-
Jun 2019
-
Springer
-
Christel Baier,
Luis Caires
-
-
-
-
Lecture Notes in Computer Science
-
10854
-
-
-
https://doi.org/10.1007/978-3-319-92612-4
-
-
DBLP:conf/forte/2018
-
10.1007/978-3-319-92612-4
-
-
20 Jun 2019
-