Bas Spitters

Publikation

Publikationer pr. år 2006 2016 2018 2020 2021 2024

• 17 Konferencebidrag i proceedings
• 10 Tidsskriftartikel
• 7 Udgivelser på nettet - Net-publikation
• 4 Konferenceabstrakt til konference
• 13 Mere
  • 4 Working paper
  • 3 Preprint
  • 2 Bidrag til bog/antologi
  • 2 Paper
  • 2 Konferenceartikel

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 2024

  Modernizing FIPS for safe languages and verified libraries

  Protzenko, J. & Spitters, B., 2024.

  Publikation: Konferencebidrag › Paper › Forskning

  Fil
  5 Downloads (Pure)
• 2018

  Un cadre pour la preuve de programmes probabilistes

  Faissole, F. & Spitters, B., 1 jan. 2018, s. 137-150. 14 s.

  Publikation: Konferencebidrag › Paper › Forskning › peer review