Hugo Elbers
List of publications from the
DBLP Bibliography Server
-
FAQ
Ask others: ACM
DL
/
Guide
-
-
CSB
-
MetaPress
-
Google
-
Bing
-
Yahoo
1996
1
Gilles Barthe
, Hugo Elbers: Towards Lean Proof Checking.
DISCO 1996
: 61-62
Coauthor Index
1
Gilles Barthe
[
1
]
Last update Tue May 29 20:41:18 2012 CET by the
DBLP Team
—
Data released under the
ODC-BY 1.0 license
— See also our
legal information page
- CSB - MetaPress - Google - Bing - Yahoo
Data released under the ODC-BY 1.0 license — See also our legal information page