IEE Colloquium on Industrial Use of Formal Methods (Digest No: 1997/171)

Bok · Engelsk

Annen tittel	IEE Colloquium on Industrial Use of Formal Methods
Utgitt	IET