1. RUN

Percorrer por autor Pereira, Mário

Índice: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
ou inserir as letras iniciais:  
Mostrar resultados 1-3 de 3.
DataTítuloAutor(es)TipoAcesso
Jun-2020Durability study of the aisi 1024hr and aisi 304hr alloys applied in the organic waste industryMorgado, Teresa; de Paulo, Ricardo Manuel de Matos Soares; Amaral, Pedro; Pereira, Mário; Simões, José; Velhinho, AlexandrearticleopenAccess
2025Practical Deductive Verification of OCaml ProgramsPereira, MárioconferenceObjectopenAccess
30-Ago-2023Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation ProtocolsGondelman, Léon; Hinrichsen, Jonas Kastberg; Pereira, Mário; Timany, Amin; Birkedal, LarsarticleopenAccess
Mostrar resultados 1-3 de 3.