Joakim von Wright

MaRDI QIDQ204600zbMATH OpenWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Enabledness and termination in refinement algebra Science of Computer Programming	2009-07-24	Paper
Refinement Algebra with Operators for Enabledness and Termination Lecture Notes in Computer Science	2009-04-02	Paper
scientific article; zbMATH DE number 2185694 (Why is no real title available?)	2005-07-04	Paper
scientific article; zbMATH DE number 2090029 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 1949610 (Why is no real title available?)	2003-07-15	Paper
Encoding, decoding and data refinement Formal Aspects of Computing	2003-06-26	Paper
Contracts, games, and refinement. Information and Computation	2003-01-14	Paper
scientific article; zbMATH DE number 1670754 (Why is no real title available?)	2001-11-11	Paper
Class refinement as semantics of correct object substitutability Formal Aspects of Computing	2000-11-14	Paper
scientific article; zbMATH DE number 1301858 (Why is no real title available?)	1999-12-13	Paper
scientific article; zbMATH DE number 1303983 (Why is no real title available?)	1999-06-17	Paper
scientific article; zbMATH DE number 1303993 (Why is no real title available?)	1999-06-17	Paper
Structured calculational proof Formal Aspects of Computing	1999-01-11	Paper
scientific article; zbMATH DE number 1487497 (Why is no real title available?)	1999-01-01	Paper
Refinement Calculus	1998-06-21	Paper
Mechanizing some advanced refinement concepts Formal Methods in System Design	1994-04-20	Paper

Research outcomes over time

This page was built for person: Joakim von Wright