1. Repositório Aberto da Universidade do Porto
  2. FCUP - Faculdade de Ciências
  3. FCUP - Dissertação
Utilize este identificador para referenciar este registo: https://hdl.handle.net/10216/171912
Registo completo
Campo DCValorIdioma
dc.creatorPaulo Miguel Teixeira de Sousa
dc.date.accessioned2026-01-30T00:16:51Z-
dc.date.available2026-01-30T00:16:51Z-
dc.date.issued2025-11-10
dc.date.submitted2026-01-09
dc.identifier.othersigarra:754095
dc.identifier.urihttps://hdl.handle.net/10216/171912-
dc.language.isoeng
dc.rightsopenAccess
dc.subjectCiências exactas e naturais
dc.subjectNatural sciences
dc.titleProperty-Based Testing of a Concurrent Lock-Free Data Structure
dc.typeDissertação
dc.contributor.uportoFaculdade de Ciências
dc.identifier.tid204168570
dc.subject.fosCiências exactas e naturais
dc.subject.fosNatural sciences
thesis.degree.disciplineMestrado em Ciência de Computadores
thesis.degree.grantorFaculdade de Ciências
thesis.degree.grantorUniversidade do Porto
thesis.degree.level1
Aparece nas coleções:FCUP - Dissertação

Ficheiros deste registo:
Ficheiro Descrição TamanhoFormato 
754095.pdfProperty-Based Testing of a Concurrent Lock-Free Data Structure831.82 kBAdobe PDFThumbnail
Ver/Abrir
Mostrar registo em formato simples Recomendar este registo Ver estatísticas


Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.