Biblio

Export 1 results:
Filters: Автор is Elizabeth I. Leonard  [Clear All Filters]
8
"Applying Formal Methods to a Certifiably Secure Software System." IEEE Transactions on Software Engineering 34, no. 1 (8): 82-97.