A contract-based method to specify stimulus-response requirements

MLA

A. Naumchev, et al. “A Contract-Based Method to Specify Stimulus-Response Requirements.” Труды Института Системного Программирования РАН, vol. 29, no. 4, Oct. 2018, pp. 39–54. EBSCOhost, https://doi.org/10.15514/ISPRAS-2017-29(4)-3.

APA

A. Naumchev, M. Mazzara, B. Meyer, J.-M. Bruel, F. Galinier, & S. Ebersold. (2018). A contract-based method to specify stimulus-response requirements. Труды Института Системного Программирования РАН, 29(4), 39–54. https://doi.org/10.15514/ISPRAS-2017-29(4)-3

Chicago

A. Naumchev, M. Mazzara, B. Meyer, J.-M. Bruel, F. Galinier, and S. Ebersold. 2018. “A Contract-Based Method to Specify Stimulus-Response Requirements.” Труды Института Системного Программирования РАН 29 (4): 39–54. doi:10.15514/ISPRAS-2017-29(4)-3.