Редкол.: Ю. Левенець (голова), Ю. Шаповал (заст. голови) та ін. — К.: Парламентське видавництво, 2011. — с.91 ISBN 978-966-611-818-2. Верифікаційний принцип // Посилання Верифікація //ЕСУ Верифікація // Верифікація // Інтернет-ресурси Verifizierung von Lexikoneinträgen VeriFun, ein semiautomatischer Beweiser für funktionale Programme Методологія науки Філософські терміни