Jaco van de Pol

Publikation

Publikationer pr. år 2019 2019 2021 2022 2023 2024

• 26 Konferencebidrag i proceedings
• 8 Tidsskriftartikel
• 5 Preprint
• 2 Bidrag til bog/antologi
• 4 Mere
  • 2 Konferenceartikel
  • 1 Bog
  • 1 Software

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 2021

  Proceedings First Workshop on Applicable Formal Methods

  Gleirscher, M. (Redaktør), Pol, J. V. D. (Redaktør) & Woodcock, J. (Redaktør), nov. 2021, 84 s. (Electronic Proceedings in Theoretical Computer Science).

  Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning › peer review

  Åben adgang