Hakutulokset - "Computer software Verification"
-
Acer Swift 16 AI: A big, beautiful OLED laptop
Julkaisussa PCWorld (Online) (Mar 2025)Citation/Abstract
Full Text
Full Text - PDF
-
Icing on the Cake: Automatic Code Summarization at Ericsson
Julkaisussa arXiv.org (Aug 19, 2024)Citation/Abstract
Full text outside of ProQuest
-
Towards Classical Software Verification using Quantum Computers
Julkaisussa arXiv.org (Apr 29, 2024)Citation/Abstract
Full text outside of ProQuest
-
C Analyzer : A Static Program Analysis Tool for C Programs
Julkaisussa arXiv.org (Jan 28, 2024)Citation/Abstract
Full text outside of ProQuest