Login / Signup
Elif Deniz
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 2
Top Topics
Theorem Prover
Higher Order Logic
Formal Model
Heat Flow
Top Venues
CoRR
CICM
</>
Publications
</>
Elif Deniz
,
Adnan Rashid
,
Osman Hasan
,
Sofiène Tahar
On the Formalization of the Heat Conduction Problem in HOL.
CICM
(2022)
Elif Deniz
,
Adnan Rashid
,
Osman Hasan
,
Sofiène Tahar
On the Formalization of the Heat Conduction Problem in HOL.
CoRR
(2022)