C. Jeske

From MaRDI portal
Person:649586

Available identifiers

zbMath Open jeske.czeslawMaRDI QIDQ649586

List of research outcomes





PublicationDate of PublicationType
Retrenchment and refinement interworking: the tower theorems2016-07-27Paper
Simple feature engineering via neat default retrenchments2011-12-02Paper
Stronger compositions for retrenchments2010-05-27Paper
Composition mechanisms for retrenchment2008-04-22Paper
Retrenching the purse: the balance enquiry quandary, and generalised and \((1, 1)\) forward refinements2007-07-24Paper
Engineering and theoretical underpinnings of retrenchment2007-07-23Paper
FM 2005: Formal Methods2006-01-10Paper
https://portal.mardi4nfdi.de/entity/Q47375722004-08-11Paper

Research outcomes over time

This page was built for person: C. Jeske

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