Для цитирования:

Наумчев А., Маццара М., Мейер Б., Брюэль Ж., Галинье Ф., Эберсоль С. Контрактный метод спецификации реактивных требований. Труды Института системного программирования РАН. 2017;29(4):39-54. https://doi.org/10.15514/ISPRAS-2017-29(4)-3

For citation:

Naumchev A., Mazzara M., Meyer B., Bruel J., Galinier F., Ebersold S. A contract-based method to specify stimulus-response requirements. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2017;29(4):39-54. https://doi.org/10.15514/ISPRAS-2017-29(4)-3