Search results
From Event-B
Jump to navigationJump to searchCreate the page "Alexei" on this wiki! See also the page found with your search.
File:A Rodin plug-in for constructing reusable schematic lemmas.pdf A Rodin plug-in for constructing reusable schematic lemmas (Alexei Iliasov, Paulius Stankaitis, David Adjepon-Yamoah, and Alexander Romanovsky(72 KB) - 15:08, 8 June 2021