Title: A model and a method for the stepwise development of verified programs
Subjects: Computer programming, Computer software, Development