Event-B

1. REDIRECT B-Method#Event-B {{R to section}} {{R with possibilities}}

Category:Formal methods