Todd Schiller

According to our database, Todd Schiller authored at least 1 paper in 2009.

Collaborative distances:

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

2009

Verified programming in Guru.

Aaron Stump, Morgan Deters, Adam Petcher, Todd Schiller, Timothy W. Simpson

Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, 2009