Login / Signup

SPECWARE: An Advanced Evironment for the Formal Development of Complex Software Systems.

Richard JülligYellamraju V. SrinivasJ. Liu
Published in: AMAST (1996)
Keyphrases