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

Automatic Methods for the Refinement of System Models - 9783319414799

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

Automatic Methods for the Refinement of System Models: From the Specification to

Balance and Refinement : Beyond Coherence Methods of Moral Inquir

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

Refinement : Semantics, Languages and Applications, Hardcover by Derrick, Joh...