
cover from: Google Books
Formal techniques for safety-critical systems : 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised selected papers
Osman Hasan, Frédéric Mallet (eds.).
2020
326674
isbn:9783030469023|isbn:3030469026|isbn:9783030469016|isbn:3030469018