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 |
2 |
Material Type: Ata de Congresso
|
![]() |
Relating models of impredicative type theoriesJacobs, Bart ; Moggi, Eugenio ; Streicher, ThomasCategory Theory and Computer Science, 2005, p.197-218 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |