Stephen Walk

According to our database, Stephen Walk authored at least 2 papers between 2002 and 2024.

Collaborative distances:

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

2024

Structuring Formal Methods into the Undergraduate Computer Science Curriculum.

Sarnath Ramnath, Stephen Walk

Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

2002

Maximal Contiguous Degrees.

Peter Cholak, Rodney G. Downey, Stephen Walk

J. Symb. Log., 2002