C. A. Middelburg. Specification of interfering programs based on interconditions. IEE Proceedings - Software, 7(3):205-217, 1992. [doi]
@article{Middelburg92-0,
title = {Specification of interfering programs based on interconditions},
author = {C. A. Middelburg},
year = {1992},
url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=144803},
researchr = {https://researchr.org/publication/Middelburg92-0},
cites = {0},
citedby = {0},
journal = {IEE Proceedings - Software},
volume = {7},
number = {3},
pages = {205-217},
}