FM91: Formal Methods Workshop.

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

Dan Craigen, Peter Ryan:
FM91: Formal Methods Workshop. ICSE 1991: 140-142