DERIVING SAFETY CASES FROM AUTOMATICALLY CONSTRUCTED PROOFS

by Nurlida Basir , Ewen Denney , Bernd Fischer
Citations:5 - 0 self