Anamaria Martins Moreira

From MaRDI portal
Person:436378

Available identifiers

zbMath Open martins-moreira.anamariaMaRDI QIDQ436378

List of research outcomes





PublicationDate of PublicationType
Modeling big data processing programs2021-07-08Paper
Specification and runtime verification of Java card programs2015-03-19Paper
Verified Compilation and the B Method: A Proposal and a First Appraisal2015-03-19Paper
Implementing local intervals in CASL2014-01-17Paper
JCML: A specification language for the runtime verification of Java card programs2012-07-20Paper
Manipulating algebraic specifications with term-based and graph-based representations2004-11-12Paper
https://portal.mardi4nfdi.de/entity/Q48087482004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q44938822001-02-05Paper

Research outcomes over time

This page was built for person: Anamaria Martins Moreira

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