Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Applying formal methods to PCEP: an industrial case study from modeling to test generationHwang, Iksoon ; Cavalli, Ana R. ; Lallali, Mounir ; Verchere, DominiqueSoftware testing, verification & reliability, 2012-08, Vol.22 (5), p.343-361 [Periódico revisado por pares]Chichester, UK: John Wiley & Sons, LtdTexto completo disponível |