Funded publications

  • Guerra, Esther; Stoelinga, Mariëlle (2021)
    This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021, and was held as part of ...
  • Kiefer, Stefan; Tasson, Christine (2021)
    This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as ...
  • Groote, Jan Friso; Larsen, Kim Guldstrand (2021)
    This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, ...

See more