Souâd Taouil-traverson

Author Info

Publications (2 rows)

Collaborators (1 rows)

Referers (15 rows)

Referees (5 rows)

Title	Citations	PageRank	Year
Designing a B Model for Safety-Critical Software Systems	0	0.34	1998
Preliminary Analysis Cycle for B-Method Software Development	1	0.35	1996