Temporal preconditions of recursive procedures

Wim Hesselink; R. Reinds

Temporal preconditions of recursive procedures

Wim Hesselink
, R. Reinds

Fundamental Computing

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

2 Citations (Scopus)

Original language	English
Title of host publication	Semantics: foundations and applications
Subtitle of host publication	Proceedings REX Workshop Beekbergen 1992
Editors	J.W. de Bakker, W.-P. de Roever
Publisher	Springer
Pages	236-260
Number of pages	24
Volume	666
Publication status	Published - 1993

Publication series

Name	lectures notes in Computer Science

Handle.net

Persistent link

Cite this

@inproceedings{a8566bc142b6489f980324ef6926a21b,

title = "Temporal preconditions of recursive procedures",

author = "Wim Hesselink and R. Reinds",

year = "1993",

language = "English",

volume = "666",

series = "lectures notes in Computer Science",

publisher = "Springer",

pages = "236--260",

editor = "\{de Bakker\}, J.W. and \{de Roever\}, W.-P.",

booktitle = "Semantics: foundations and applications",

}

Temporal preconditions of recursive procedures. / Hesselink, Wim; Reinds, R.
Semantics: foundations and applications: Proceedings REX Workshop Beekbergen 1992. ed. / J.W. de Bakker; W.-P. de Roever. Vol. 666 Springer, 1993. p. 236-260 (lectures notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review