Mike Seager

According to our database, Mike Seager authored at least 1 paper in 1995.

Collaborative distances:

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

1995

Formal methods in the THETA kernel.

Mike Seager, David Guaspari, Matthew Stillerman, Carla Marceau

Proceedings of the 1995 IEEE Symposium on Security and Privacy, 1995