ISSE

Search

Proving System Correctness with KIV

W. Reif, G. Schellhorn, and K. Stenzel

Proving System Correctness with KIV

published 1997 M. Bidoit and M. Dauchet, editors, TAPSOFT'97: Theory and Practice of Software Development. Proceedings

Publisher: Springer LNCS 1214