Home › Authors › Ryan Stansifer 👤 Ryan Stansifer 3 books Books by Ryan Stansifer Proceedings of the Principles Proceedings of the Principles and Practices of Programming on the Java Platform 2015 Study of Programming Languages Study of Programming Languages, The 1994 The Foundations of Program Verification 1984
