Funded publications

  • Finkbeiner, Bernd; Kovács, Laura (2024)
    The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part ...
  • Kobayashi, Naoki; Worrell, James (2024)
    The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg ...
  • Beyer, Dirk; Cavalcanti, Ana (2024)
    This open access book constitutes the proceedings of the 27th International Conference on Fundamental Approaches to Software Engineering, FASE 2024, held in conjunction with ETAPS 2024 which took place in Luxembourg in ...

See more