Formal methods

Há 8 anos 179 Visualizações

Software Construction patterns for Security systems

Há 8 anos 290 Visualizações

Software Quality Assurance on VLC Player

Há 8 anos 1115 Visualizações

Software Quality Assurance on VLC

Há 8 anos 685 Visualizações