Automated reasoning for web page layout.

Pavel Panchekha, Emina Torlak

Browse the full OOPSLA paper archive.