Login / Signup

Preliminary Analysis Cycle for B-Method Software Development.

Souâd Taouil-TraversonSylvie Vignes
Published in: EUROMICRO (1996)
Keyphrases