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
This paper describes the modelling of transformational program development inside a tactical theorem prover. The main characteristics of this approach is its genericity, leading to tools suitable for transformational program development in various, diierent formal methods which are logically embedded into the theorem prover. Combined with a systematic way(More)
  • 1