Wissen, was kommt.
Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is...
ThisvolumecontainstheproceedingsofMPC2002,thesixthinternationalc- ferenceontheMathematicsofProgra...
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...
The fourth conference in the series of international meetings on Integrated F- mal Methods, IFM, ...
Refinement is one of the cornerstones of the formal approach to software engineering, and its use...
Refinement is one of the cornerstones of the formal approach to software engineering, and its use...