Bookmarks for Nicolas Magaud
Computer
Science : Proof Assistants and Theorem
Provers
-
The
Coq Project
-
The
PhoX Proof Assistant
-
ACL2
Version 2.4
-
HOL
Light
-
PVS
-
Isabelle
-
The
PLASTIC Proof Assistant
-
Yarrow
Home Page
Computer
Science : Formal Methods
-
Mechanized
Reasoning Systems
-
Formal
Methods
-
The
World Wide Web Virtual Library: Safety-Critical Systems
-
Common
Criteria Project -- HomePage
-
Rewriting
Home Page
-
KIV
Home Page
-
FTA
Project
Computer
Science : Conferences
-
Thirty
Five years of Automath
-
TLCA'2003
-
TYPES
2002 Workshop
-
FLoC
'02 - front page
-
TPHOLs
2002: Home
-
IEEE
Symposium on Logic in Computer Science
-
Welcome
to the ACM Digital Library
-
LPAR
2001 Home Page
-
-
A
propos de la thèse...
-
ATS
a Sophia
-
ALLOC:
Page d'accueil
-
INRIA
- Recueil des aides doctorales et post-doctorales
-
sommaire
de bourses
Useful
links
-
ResearchIndex:
The NECI Scientific Literature Digital Library
-
Translations
-
FAQ
LaTeX
-
Webster
Gateway at UCSD
-
Dictionnaire
universel francophone en ligne
-