PanLinx
English
eng-000
correct-by-construction design method
русский
rus-000
итеративный метод проектирования
PanLex
