Formal Methods in Practice.

Thu, 01 Jan 1998 00:00:00 +0100

Wolfgang Polak:
Formal Methods in Practice. Monterey Workshop 1998: 62-72