Atelier B - Proof obligations of "H => vv$1 = vv$2" format for vv used in WHILE substit...

Refinement of a B specification...

AMN and math logic notation...

Test a program in b language...

Is B-Method an alternative to traditional programming languages?...