Observations on Industrial Practice Using Formal Methods.

Susan L. Gerhart, Dan Craigen, Ted Ralston

Browse the full ICSE paper archive.