Comparison of specification decomposition methods in Event-B

Petr N. Devyanin, Victor V. Kulyamin, Alexander K. Petrenko, Alexey V. Khoroshilov, Ilya V. Shchepetkov. Comparison of specification decomposition methods in Event-B. Programming and Computer Software, 42(4):198-205, 2016. [doi]

No reviews for this publication, yet.