Proving Properties about Abstractions and Refinements (Slide 7)

Next | Previous | Start