W. M. H. M. Rovers

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
The problem domain of this thesis is system development. It is motivated by the need to find and construct better design technologies. The use of better design technologies is viewed as imperative to deal with the increase in the size and complexity of digital systems. This thesis takes the view that the integration of formal methods and visual languages(More)
  • 1