Vladimir I. Shelekhov, Sergey V. Kuksenko. On the Practical Static Checker of Semantic Run-Time Errors. In 6th Asia-Pacific Software Engineering Conference (APSEC 99), 7-10 December 1999, Takamatsu, Japan. pages 434-440, IEEE Computer Society, 1999. [doi]
@inproceedings{ShelekhovK99:0,
title = {On the Practical Static Checker of Semantic Run-Time Errors},
author = {Vladimir I. Shelekhov and Sergey V. Kuksenko},
year = {1999},
url = {http://csdl.computer.org/comp/proceedings/apsec/1999/0509/00/05090434abs.htm},
researchr = {https://researchr.org/publication/ShelekhovK99%3A0},
cites = {0},
citedby = {0},
pages = {434-440},
booktitle = {6th Asia-Pacific Software Engineering Conference (APSEC 99), 7-10 December 1999, Takamatsu, Japan},
publisher = {IEEE Computer Society},
isbn = {0-7695-0509-0},
}