Shriram Krishnamurthi profile picture

Shriram Krishnamurthi

Is this your author profile? Create an account to customize it!

Stand Alone

How to Design Programs, second edition
Proceedings of the 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering