Michael Nitsche, Ulrich Geske. Logische Spezifikation von Steuerkonstrukten imperativer Programmiersprachen. In WLP. pages 100-103, 1994.
@inproceedings{NitscheG94,
title = {Logische Spezifikation von Steuerkonstrukten imperativer Programmiersprachen},
author = {Michael Nitsche and Ulrich Geske},
year = {1994},
researchr = {https://researchr.org/publication/NitscheG94},
cites = {0},
citedby = {0},
pages = {100-103},
booktitle = {WLP},
}