Specification reuse for safety-critical software.

Claire P. Willis, Derek J. Paddon

Browse the full SEKE paper archive.