Logische Spezifikation von Steuerkonstrukten imperativer Programmiersprachen

Michael Nitsche, Ulrich Geske. Logische Spezifikation von Steuerkonstrukten imperativer Programmiersprachen. In WLP. pages 100-103, 1994.

Abstract

Abstract is missing.