Skip to main content
/
Coders
/
Group items tagged formalmethods
Group items tagged
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
Search
formalmethods
matching in title, tags, annotations and url of group items »
Search in Google »
Rajan Datta on 06 Dec 08NSA Led Project for approach to highly secure systems. Keywords: ADA, Praxis, Correctness by Construction
Group items tagged