Preliminary Analysis Cycle for B-Method Software Development

Souâd Taouil-Traverson, Sylvie Vignes. Preliminary Analysis Cycle for B-Method Software Development. In 22rd EUROMICRO Conference 96, Beyond 2000: Hardware and Software Design Strategies, September 2-5, 1996, Prague, Czech Republic. pages 319, IEEE Computer Society, 1996. [doi]

Authors

Souâd Taouil-Traverson

This author has not been identified. Look up 'Souâd Taouil-Traverson' in Google

Sylvie Vignes

This author has not been identified. Look up 'Sylvie Vignes' in Google