Полное описание
Журнал
Formal Methods in System Design : [ Электронный ресурс] . - Berlin : Springer Science+Business Media, 1992 - (Springer)Периодичность . - ISSN 0925-9856.
ГРНТИ + 50.43
Аннотация: Cтатьи по развитию и применению формальных методов в проектировании, реализации и проверке корректности аппаратных (СБИС) и программных систем для научных и промышленных целей.. 20031215
database website Elibrary 1996 - 2004 с 2005г. см. издательство Springer
publisher's website
journal link (full text - НТО-3)