Discover open access scientific publications

Search, annotate, share and cite publications

Publications by A. Belevantsev

Supporting Java Programming in the Svace Static Analyzer

Proceedings of the Institute for System Programming of the RAS

English