Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part I

Saved in:
Bibliographic Details
Main Authors Vojnar, Tomás, Zhang, Lijun
Format eBook
LanguageEnglish
Published Cham Springer International Publishing AG 2019
Edition1
Online AccessGet full text
ISBN3030174611
9783030174613

Cover

More Information
ISBN:3030174611
9783030174613