Formal methods in practice.

Tue, 01 Jan 2002 00:00:00 +0100

Wolfgang Polak:
Formal methods in practice. Sci. Comput. Program. 42(1): 75-85 (2002)