Formal Methods in Software Engineering

Jose Meseguer

Email: fmse.info.uaic.ro
Status: Collaborator

Publications

2013

The Rewriting Logic Semantics Project: A Progress Report

Jose Meseguer, Grigore Rosu

Journal