ISSE

Search

Program Verification Using Dynamic Logic

M. Heisel, W. Reif, and W. Stephan

Program Verification Using Dynamic Logic

published 1988 E. Börger, H. Kleine Büning, and M. Richter, editors, 1st Workshop on Computer Science Logic. Proceedings

Publisher: Springer LNCS 329