Martin Croxford

According to our database, Martin Croxford authored at least 2 papers between 1995 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

Two Demonstrations of Economical EAL5+ Development for Tokeneer.

John Anton, Martin Croxford, Alessandro Coglio, Janet Barnes, Randy Johnson, Tim Kremann

Proceedings of the 2006 IEEE International Symposium on Secure Software Engineering, 2006

1995

Breaking Through the V and V Bottleneck.

Martin Croxford, James Sutton

Proceedings of the Ada in Europe, Second International Eurospace, 1995