Witold Lukaszewicz, Ewa Madalinska-Bugaj. Reasoning about Action and Change Using Dijkstra s Semantics for Programming Languages: Preliminary Report. In IJCAI. pages 1950-1955, 1995.
@inproceedings{LukaszewiczM95:0,
title = {Reasoning about Action and Change Using Dijkstra s Semantics for Programming Languages: Preliminary Report},
author = {Witold Lukaszewicz and Ewa Madalinska-Bugaj},
year = {1995},
tags = {programming languages, semantics, action semantics, programming},
researchr = {https://researchr.org/publication/LukaszewiczM95%3A0},
cites = {0},
citedby = {0},
pages = {1950-1955},
booktitle = {IJCAI},
}