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