abstract machine notation

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

Category:Formal methods