Exploring Frama-C Resources by Verifying Space Software

No Thumbnail Available
Files
P-010-YBW.pdf (850.1 KB)
Date
2024
Authors
Jorge Sousa Pinto
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Keywords
Citation
URI
https://repositorio.inesctec.pt/handle/123456789/15307
Collections
HASLab - Book Chapters