Publication:

Modular Semi-automatic Formal Verification of Critical Systems Software

Date

2017-09

Dissertation

Simple item page Full metadata Statistics

Files

42947.pdf 1.67 MB

Author(s)

Penninckx, Willem

Statistics

1893 since deposited on 2021-10-24

Acq. date: 2026-06-02