Формальные спецификации в разработке программного обеспечения

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research

Original language	Undefined
Title of host publication	Процессы управления и устойчивость. Труды XXXVI межвузовской научной конференции аспирантов и студентов.
Pages	245-248
State	Published - 2005
Externally published	Yes

ID: 4755040