dblp.uni-trier.dewww.uni-trier.de

Julián Samborski-Forlese

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
1EEGilles Barthe, César Kunz, David Pichardie, Julián Samborski-Forlese: Preservation of Proof Pbligations for Hybrid Verification Methods. SEFM 2008: 127-136

Coauthor Index

1Gilles Barthe [1]
2César Kunz [1]
3David Pichardie [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)