An Object-Based Approach to the B Formal Method. - Alexander Malioukov (B, 1998)

Recommendation of Ideas and Antagonists for Crowdsourcing Platform Witology. - Dmitry I. Ignatov; Maria Mikhailova; Alexandra Yu. Zakirova; Alexander Malioukov (RuSSIR, 2014)