C. Oriat

From MaRDI portal
Person:1583246

Available identifiers

zbMath Open oriat.catherineMaRDI QIDQ1583246

List of research outcomes





PublicationDate of PublicationType
A model inference system for generic specification with application to code sharing2022-08-18Paper
Detecting isomorphisms of modular specifications with diagrams2022-08-16Paper
https://portal.mardi4nfdi.de/entity/Q45255572001-01-24Paper
https://portal.mardi4nfdi.de/entity/Q45124082000-11-05Paper
https://portal.mardi4nfdi.de/entity/Q45104532000-10-29Paper
Detecting equivalence of modular specifications with categorical diagrams2000-10-26Paper

Research outcomes over time

This page was built for person: C. Oriat

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