Simone André da Costa Cavalheiro

From MaRDI portal
Person:2358622

Available identifiers

zbMath Open da-costa-cavalheiro.simone-andreMaRDI QIDQ2358622

List of research outcomes





PublicationDate of PublicationType
Theorem proving graph grammars with attributes and negative application conditions2017-06-15Paper
Translating controlled graph grammars to ordinary graph grammars2017-05-19Paper
Theorem Proving Graph Grammars: Strategies for Discharging Proof Obligations2014-07-08Paper
Specification Patterns for Properties over Reachable States of Graph Grammars2012-11-06Paper

Research outcomes over time

This page was built for person: Simone André da Costa Cavalheiro

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