• 1164
    Citations - based on content available in repository [source: Scopus]
19992024

Content available in repository

Filter
Foreword/editorial

Search results

  • 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 proceedingForeword/editorialAcademic

  • 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 proceedingForeword/editorialAcademic