The potential of formal verification for reasoning about systems.
No pages have linked to this URL yet.
Log in or sign up to submit feeds.