Champak Das

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 idea of successively reening an abstract speciication until it contains enough detail to suggest an implementation has been investigated by numerous researchers. The emphasis to date has been on techniques that, unfortunately, lead to a large amount of manual formal labor for each reenement step. With such techniques, both the cost and the possibility(More)
  • 1