Login / Signup
Tsvetan Dunchev
Publication Activity (10 Years)
Years Active: 2010-2017
Publications (10 Years): 1
Top Topics
Multi Context Systems
Information Flows
Theorem Prover
Formal Analysis
Top Venues
SETTA
</>
Publications
</>
Ghassen Helali
,
Sofiène Tahar
,
Osman Hasan
,
Tsvetan Dunchev
Formal Analysis of Information Flow in HOL.
SETTA
(2017)
Tsvetan Dunchev
,
Alexander Leitsch
,
Tomer Libal
,
Daniel Weller
,
Bruno Woltzenlogel Paleo
System Description: The Proof Transformation System CERES.
IJCAR
(2010)