Laura K. Dillon. Verifying General Safety Properties of Ada Tasking Programs. IEEE Trans. Software Eng., 16(1):51-63, 1990. [doi]
@article{Dillon90:0, title = {Verifying General Safety Properties of Ada Tasking Programs}, author = {Laura K. Dillon}, year = {1990}, url = {http://www.computer.org/tse/ts1990/e0051abs.htm}, tags = {program verification}, researchr = {https://researchr.org/publication/Dillon90%3A0}, cites = {0}, citedby = {0}, journal = {IEEE Trans. Software Eng.}, volume = {16}, number = {1}, pages = {51-63}, }