Show simple item record

dc.date.accessioned2023-05-16T15:06:58Z
dc.date.available2023-05-16T15:06:58Z
dc.identifier.urihttps://library.oapen.org/handle/20.500.12657/63012
dc.typegrantor
oapen.relation.funds7588d8f6-a787-4b9a-8b47-11850d79637b
oapen.relation.fundsf494a851-5d7a-41c3-b004-453e47042e48
oapen.relation.funds41b3bfef-8a5d-4a88-85c7-f51b18653c16


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record

Funded publications

  • Sankaranarayanan, Sriram; Sharygina, Natasha (2023)
    This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences ...
  • Sankaranarayanan, Sriram; Sharygina, Natasha (2023)
    This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences ...
  • Kupferman, Orna; Sobocinski, Pawel (2023)
    This open access book constitutes the proceedings of the 26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2023, which was held during April 22-27, 2023, in Paris, France, ...