Operational semantics and generalized weakest preconditions

Research output: Contribution to journal › Article › Academic › peer-review

5 Citations (Scopus)

Original language	English
Pages (from-to)	137-155
Journal	Science of Computer Programming
Volume	22
Issue number	1-2
DOIs	https://doi.org/10.1016/0167-6423(94)90010-8
Publication status	Published - 1994

Access to Document

@article{3092f6b0c97a423889491388c1a12a4a,

title = "Operational semantics and generalized weakest preconditions",

author = "J.J. Lukkien",

year = "1994",

doi = "10.1016/0167-6423(94)90010-8",

language = "English",

volume = "22",

pages = "137--155",

journal = "Science of Computer Programming",

issn = "0167-6423",

publisher = "Elsevier B.V.",

number = "1-2",

}