Emelianov, P. G.,
1 Jan 1996,
Static Analysis - 3rd International Symposium, SAS 1996, Proceedings. Springer-Verlag GmbH and Co. KG,
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