Members: Dorel Lucanu, Alexandru LunguRelated PublicationsSupporting Algorithm Analysis with Symbolic Execution in Alk. 2022A Matching Logic Foundation for Alk 2022Alexandru Lungu, Dorel Lucanu