Login / Signup

Integration of Software Analysis and Design Methods with Formal Description Techniques.

Saeeiab SureeratMotoshi Saeki
Published in: APSEC (1998)
Keyphrases