ISSE

Search

A Dynamic Logic for Program Verification

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

A Dynamic Logic for Program Verification

published 1989 in: Berlin A. Meyer and M. Taitslin, editors, Logical Foundations of Computer Science, Logic at Botik, Pereslavl-Zalessky, Russia, pages 134-145

Publisher: Springer LNCS 363