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