Christiano Braga

From MaRDI portal
Person:2798045

Available identifiers

zbMath Open braga.christianoMaRDI QIDQ2798045

List of research outcomes





PublicationDate of PublicationType
Towards reasoning in dynamic logics with rewriting logic: the Petri-PDL case2016-04-01Paper
Meaningful models. A research agenda on model-driven engineering2014-07-08Paper
Modular structural operational semantics with strategies2013-12-13Paper
A rewriting semantics for a software architecture description language2013-09-26Paper
Modular rewriting semantics in practice2013-09-20Paper
Algebraic Methodology and Software Technology2005-08-25Paper

Research outcomes over time

This page was built for person: Christiano Braga

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2798045&oldid=6626968"
Powered by MediaWiki