Verily: a web framework for creating more reasonable web applications.

John L. Singleton, Gary T. Leavens

Browse the full ICSE paper archive.