Interactive Verification Environments for Object-Oriented Programs

Public

Published in TUGraz OPEN Library (Graz University of Technology) • Apr 7, 2020

Authors:

Arnd Poetzsch‐Heffter

,

Jörg Meyer

Subject

Finding related papers...

(0)

No comments yet

Be the first to share your thoughts!