Journals
Books
Articles by keyword program-verifier.
autonomous underwater vehicle
V. F. Filaretov, D. A. Juhimec, E. Sh. Mursalimov