Benjamin Wei©

• Deductive verification of object-oriented software