No.063 Semantics and Verification of Object-Oriented Languages

Icon

NII Shonan Meeting Seminar 063

Sep 28, 2015

Comparing OO verification techniques

Category: Talks

Tagged:

Comments are closed.