2000

Chapitres de Livre

• [FLP00] P. Facon, R. Laleau, H. Phuong Nguyen. "From OMT Diagrams to B Specifications", January 2000,