Formal Methods in Software Engineering

Proof-Carrying Parameters in Certified Symbolic Execution: The Case Study of Antiunification

Year2022
TypeConference
StatusPublished
AuthorsDorel Lucanu, Andrei Arusoaie

Links

Abstract

FROM 2022: 1-16

BibTeX

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