Verifiably UX Compliant and User-Intent Layout Generation (Extended Abstract).

Joana Coutinho, Alexandre Lemos, Pedro Resende

Browse the full FM paper archive.