Julián Samborski-Forlese Vis

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

Coauthor Index

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