Skip to main content
/
Coders
/
Group items matching "formalmethods" in title, tags, annotations or url
Group items matching
in title, tags, annotations or url
Sort By:
Relevance
|
Date
Filter:
All
|
Bookmarks
|
Topics
Simple
Middle
AdaCore - Home > GNAT Pro > The Tokeneer Project
- 0 views
www.adacore.com/...tokeneer
programming
programming languages
formalmethods
security
shared by
Rajan Datta
on 06 Dec 08
-
Cached
Avinash K.
liked it
Rajan Datta
on 06 Dec 08
NSA Led Project for approach to highly secure systems. Keywords: ADA, Praxis, Correctness by Construction
<div class="cArrow"> </div><div class="cContentInner">NSA Led Project for approach to highly secure systems. Keywords: ADA, Praxis, Correctness by Construction</div>
...
Cancel
...
Cancel
1
-
1
of
1
Showing
20
▼
items per page
20
50
100
Related searches
See group items tagged
formalmethods
»
Search in Google »
Rajan Datta on 06 Dec 08NSA Led Project for approach to highly secure systems. Keywords: ADA, Praxis, Correctness by Construction