Formal Methods in Software Engineering

Matching Logic Explained

Year2019
TypeConference
StatusPublished
AuthorsDorel Lucanu

Abstract

FROM 2019, invited talk,  PDF

BibTeX

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