W. B. Martin

According to our database1, W. B. Martin authored at least 2 papers between 2000 and 2002.

Collaborative distances:
  • Dijkstra number2 of six.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2002
Creating High Confidence in a Separation Kernel.
Autom. Softw. Eng., 2002

2000
Government, industry, and academia: Teaming to design high confidence information security applications.
Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000


  Loading...