Journals
Books
Articles by keyword static analysis
Automated probabilistic analysis microwave chips
A.G. Gudkov, P.S. Zenin, S.A. Meshkov, V.V. Popov