1
Assuntos:
“...Confiabilidade de software...”
Using executable assertions for runtime fault detection in a model-based software development approach.
Dissertação