SOFSEM 2017 : Theory and Practice of Computer Science : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Li (Paperback)

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conference (Hardcover)

Sofsem 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Lime (Paperback, 2017)

Tools and Algorithms for the Construction and Analysis of Systems : 21st International Conference, TACAS 2015, Held as Part of the European Joint Conf (Paperback)

Principles of Model Checking (Hardcover)

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering : 11th International Symposium, ISoLA 2022, Rhodes, Greec (Paperback)

Leveraging Applications of Formal Methods, Verification and Validation : Tools and Trends : 9th International Symposium on Leveraging Applications of (Paperback)

Leveraging Applications of Formal Methods, Verification and Validation : Verification Principles : 9th International Symposium on Leveraging Applicati (Paperback)

Leveraging Applications of Formal Methods, Verification and Validation : Applications : 9th International Symposium on Leveraging Applications of Form (Paperback)

Leveraging Applications of Formal Methods, Verification and Validation : Engineering Principles : 9th International Symposium on Leveraging Applicatio (Paperback)