Automatic Methods for the Refinement of System Models : From the Specificatio...

Seiter - Automatic Methods for the Refinement of System Models From - X555z

Automatic Methods for the Refinement of System Models - 9783319414799

Balance and Refinement : Beyond Coherence Methods of Moral Inquir

Data Refinement : Model-Oriented Proof Methods and Their Comparison, Hardcove...

Balance and Refinement: Beyond Coherence Methods of Moral Inquiry by DePaul, Mi

The Refinement of Econometric Estimation and Test Procedures: Finite Sample and