Viorel Preoteasa - POPL 2019 (original) (raw)

POPL 2019 (series) / Viorel Preoteasa

• conf.research.org general profile

Registered user since Mon 17 Sep 2018

Name:Viorel Preoteasa

Contributions

2019

VMCAI

• Mechanically Proving Determinacy of Hierarchical Block Diagram Translations

Show activities from other conferences

Share

POPL 2019-profile
View general profile