Semantics and Verification of Object-Oriented Languages

Icon

NII Shonan Meeting Seminar 063

Comparing OO verification techniques

Category: Talks

Tagged:

Comments are closed.