Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Ata de Congresso
|
![]() |
Modular Verification of Liveness Properties of the I/O Behavior of Imperative ProgramsJacobs, BartLeveraging Applications of Formal Methods, Verification and Validation: Verification Principles. ISoLA 2020, 2020, Vol.12476, p.509-524SpringerTexto completo disponível |