Journals
Books
Articles by keyword Assertion-Based verification
O. M. Brehov, A. V. Korneenkova, K. A. Kordover, N. Y. Muhin, E. A. Orlova, I. V. Tuzov