Formal methods in industry: achievements, problems, future.

Jean-Raymond Abrial

Browse the full ICSE paper archive.