Formal Methods in Software Engineering

Semantics-Parametric Program Equivalence (work-in-progress) - talk

Year2018
TypeTalk
StatusUnpublished
AuthorsStefan Ciobaca

Links

BibTeX

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