Content available in repository
Content available in repository
Search results
-
2024
Preface
Neele, T. & Wijs, A., 13 Oct 2024, Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings. Neele, T. & Wijs, A. (eds.). Springer, p. v-vi (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14624).Research output: Chapter in Book/Report/Conference proceeding › Foreword/editorial › Academic
Open Access -
2023
Preface
Ferreira, C. & Willemse, T. A. C., 2023, Software engineering and formal methods: 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings. p. v-vi (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14323 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Foreword/editorial › Academic
-
Preface
Ábrahám, E., Dubslaff, C. & Tarifa, S. L. T., 2023, 20th International Colloquium on Theoretical Aspects of Computing, ICTAC 2023. Ábrahám, E., Dubslaff, C. & Tarifa, S. L. T. (eds.). Springer, p. v-vi (Lecture Notes in Computer Science; vol. 14446).Research output: Chapter in Book/Report/Conference proceeding › Foreword/editorial › Academic
-
2021
Preface
Peters, K. & Willemse, T. A. C., 2021, Formal Techniques for Distributed Objects, Components, and Systems: 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings. Peters, K. & Willems, T. A. C. (eds.). Springer, p. vii-viii (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12719).Research output: Chapter in Book/Report/Conference proceeding › Foreword/editorial › Academic