Showing 1 - 1 results of 1 for search 'Roever, W.-P. de' Refine Results
  1. 1
    Data refinement : model-oriented proof methods and their comparison / Willem-Paul de Roever, Kai Engelhardt with the assistance of Karl-Heinz Buth ... [et al.].
    by Roever, W.-P. de
    Published 1998
    Book
    Save to List
    Saved in:
Search Tools: Get RSS Feed — Email this Search