Tools and Algorithms for the Construction and Analysis of Systems (25th International Conference)
Tomáš Vojnar, Lijun ZhangVolume:
Part I
Année:
2019
Editeur::
Springer
Langue:
english
ISBN 10:
3030174611
ISBN 13:
9783030174613
Collection:
Lecture Notes in Computer Science, 11427
Fichier:
PDF, 23.05 MB
IPFS:
,
english, 2019