Friedemann Schwenkreis. ExPeCt Executions with Promised Characteristics. In HPTS. 1993.
@inproceedings{Schwenkreis93, title = {ExPeCt Executions with Promised Characteristics}, author = {Friedemann Schwenkreis}, year = {1993}, researchr = {https://researchr.org/publication/Schwenkreis93}, cites = {0}, citedby = {0}, booktitle = {HPTS}, }