Documentation for Safety Critical Software.

Pierre-Jacques Courtois, David Lorge Parnas

Browse the full ICSE paper archive.