Login / Signup

Aligning the Map Requirements Modelling with the B-method for Formal Software Development.

Abdul BabarVladimir TosicJohn Potter
Published in: APSEC (2007)
Keyphrases