The fourth conference in the series of international meetings on Integrated F- mal Methods, IFM, ...

Invited Talks.- Implementing Algebraic Dynamic Programming in the Functional and the Imperative P...

Refinement is one of the cornerstones of the formal approach to software engineering, and its use...

Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is...

Refinement is one of the cornerstones of the formal approach to software engineering, and its use...

Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is...