Author Details
Petrenko, A. K.
Issue | Section | Title | File |
Vol 42, No 4 (2016) | Article | Comparison of specification decomposition methods in Event-B | |
Vol 45, No 8 (2019) | Article | On Representation of Simulation Time in Functional Programming Style |