Formal Methods in Software Engineering

A Matching Logic Foundation for Alk

Year2022
TypeConference
StatusProceedings
AuthorsAlexandru Lungu, Dorel Lucanu

Abstract

ICTAC 2022: 290-304

BibTeX

@TechReport{ name, author = {}, title = {}, institution = {}, year = {}, number = {}, month = {}, note = {}, url = {} }