Login / Signup

The First Twenty-Five Years of Industrial Use of the B-Method.

Michael J. ButlerPhilipp KörnerSebastian KringsThierry LecomteMichael LeuschelLuis-Fernando MejiaLaurent Voisin
Published in: FMICS (2020)
Keyphrases