Logische Spezifikation von Steuerkonstrukten imperativer Programmiersprachen

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

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.