DMCA

Verifying Object-Oriented Programs with KeY: A Tutorial

by Wolfgang Ahrendt , Bernhard Beckert , Reiner Hähnle , Peter H. Schmitt
Citations:3 - 2 self