Skip to main content

Home/ Coders/ Group items tagged formalmethods

Rss Feed Group items tagged

Rajan Datta

AdaCore - Home > GNAT Pro > The Tokeneer Project - 0 views

  •  
    NSA Led Project for approach to highly secure systems. Keywords: ADA, Praxis, Correctness by Construction
1 - 1 of 1
Showing 20 items per page