Войти
Нет соединения — показаны сохранённые данные
Formal methods and software engineering
Formal methods and software engineering
International Conference on Formal Engineering Methods (10th 2008 Kitakyushu-City, Japan)