andrew-coughlin documents channel
Avatar
All Documents
1 Analysis of a class a case study We are going to prove the correctness of a class w.r.t. a specification. In order to formulate our hypotheses we start.

1 Analysis of a class a case study We are going to prove the correctness of a class w.r.t. a...

Category: Documents
Released: March 26, 2015