IFIP Logo
Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification


Talk " Systematic Derivation of Algorithms "

by Dominique Méry

Thu, 08 February 2024 at 02:00 pm in Salzburg, Austria

Abstract: We use a simple example of computation for showing some uses of refinement in the analysis and synthesis process.