Home / Authors / de Roever, Willem-Paul

Books by de Roever, Willem-Paul

All books by this author

2 books found
Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science, Series Number 47)
Data Refinement: Model-Oriented Proof Methods and their Com…
By: de Roever, Willem-Paul
View Details
Data Refinement: Model-Oriented Proof Methods and their Comparison
Data Refinement: Model-Oriented Proof Methods and their Com…
By: de Roever, Willem-Paul
View Details