Deductive verification of requirements for event-driven architecture / Letichevsky, A., Letychevskyi, O., Peschanenko, V., Guba, A. (2013)
web address of the page http://jnas.nbuv.gov.ua/article/UJRN-0000016744
Problems in programming Б - 2020 /  Issue (2013, № 2)
Letichevsky А., Letychevskyi О., Peschanenko V., Guba A.
Deductive verification of requirements for event-driven architecture
Cite:
Letichevsky, A., Letychevskyi, O., Peschanenko, V., Guba, A. (2013). Deductive verification of requirements for event-driven architecture. Problems in programming, 2, 54-61. http://jnas.nbuv.gov.ua/article/UJRN-0000016744 | |
|
|
PDF