Back to search results
A mathematical proof of consistency between a specification and its implementation. [INFOSEC-99]
First Name
Last Name
Email Address
Feedback/Suggestion
Spam protection