Skip to main content

Contextualizing Formal Verification for Systems Security Engineering

Avi Shaked and Tom Melham

Journal
IEEE Security & Privacy
Pages
2–11
Publisher
IEEE
Year
2024