"Application de la théorie des types et du démonstrateur COQ ..."

Barbara Heyd (1997)

> Home

Details and statistics

DOI: —

access: closed

type: Book or Thesis

metadata version: 2022-05-12

- view
  - electronic edition @ archives-ouvertes.fr
- export record
  dblp key:
  - phd/hal/Heyd97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/hal/Heyd97
Barbara Heyd:
Application de la théorie des types et du démonstrateur COQ à la vérification de programmes parallèles. (Application of type theory and the COQ assistant to the verification of parallel programs). Henri Poincaré University, Nancy, France, 1997

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.