Show simple item record

dc.date.accessioned2023-08-14T15:56:14Z
dc.date.available2023-08-14T15:56:14Z
dc.identifier.urihttps://library.oapen.org/handle/20.500.12657/75409
dc.typegrantor
oapen.relation.fundsac1c2c1d-c3cd-4d6e-8afa-0402eb19859a
oapen.relation.funds412e86ce-adca-4316-ab1a-d46e51813430


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

  • Enea, Constantin; Lal, Akash (2023)
    The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. ...
  • Enea, Constantin; Lal, Akash (2023)
    The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. ...