Statistics
Publications
1
Citations
11
H-Index
1
Active since
2016
Affiliations
Institute for System Programming(Current)
P. N. Devyanin is an author at Institute for System Programming.
Publications per year
2016–2016
1
1
Comparison of specification decomposition methods in Event-B
P. N. Devyanin, V. V. Kulyamin, Alexander K. Petrenko et al. · Programming and Computer Software · 2016 · 11 citations
1–1 of 1