From sofware architecture to formal verification of a distributed system

Tesis doctoral de Sanchez Penas Juan Jose La tesis estudia como ir desde la arquitectura software a la verificación formal […]

, , , , ,