Lectures

HSE #7: Contracts and Specifications in BON and JML

106 views
Joseph Kiniry talks about Specifications - "Contracts and Specifications in BON and JML"

RELATED TO A LIVE EVENT