Pablo Oliveira Antonino de Assis

Improving the Consistency and Completeness of Safety Requirements Specifications