Context

Context of Verification, induction, termination analysis : Festschrift for Christoph Walther on the occasion of his 60th birthday, Simon Siegler, Nathan Wasser (eds.), (electronic resource)
Processing Feedback ...