Emelianov, P. G., 
1 Jan 1996, 
Static Analysis - 3rd International Symposium, SAS 1996, Proceedings. Springer, 
p. 174-188 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1145).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review