ECOOP 2019
Mon 15 - Fri 19 July 2019 Hammersmith, London, United Kingdom
ECOOP 2019 (series) / Amin Timany
Amin Timany

Registered user since Wed 24 Aug 2016

Name:Amin Timany
Country:Belgium
Affiliation:imec-Distrinet KU-Leuven
Personal website:https://distrinet.cs.kuleuven.be/people/amin
Research interests:Programming Languages, Proof Assistants

Contributions

FTfJP 2019 Specifying I/O using Abstract Nested Hoare Triples in Separation Logic
ECOOP 2019 Specifying I/O using Abstract Nested Hoare Triples in Separation Logic
Show activities from other conferences

ECOOP 2019-profile
View general profile