Return to Article Details Сценарії, методи та засоби формальної верифікації артефактів процесу проєктування систем критичного призначення
Download Download PDF