News | Formal Methods in Software Engineering

Paper accepted at FM 2019!

The paper Unification in Matching Logic, by Andrei Arusoaie and Dorel Lucanu, was accepted at FM 2019!  

Paper accepted at IJCAR 2018!

The paper  A Coinductive Approach to Proving Reachability in Logically Constrained Term Rewriting Systems, by Stefan Ciobaca and Dorel Lucanu, was accepted at IJCAR 2018

Sidebar