Login / Signup
Lungu Alexandru-Ioan
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 3
Top Topics
Relational Structures
Top Venues
TASE
ICTAC
SYNASC
</>
Publications
</>
Lungu Alexandru-Ioan
,
Dorel Lucanu
Supporting Algorithm Analysis with Symbolic Execution in Alk.
TASE
(2022)
Lungu Alexandru-Ioan
,
Dorel Lucanu
A Matching Logic Foundation for Alk.
ICTAC
(2022)
Lungu Alexandru-Ioan
Extended Z3 Array.
SYNASC
(2021)