WCAG Formalization with W3C Techniques.

Vicente Luque Centeno, Carlos Delgado Kloos, Martin Gaedke, Martin Nussbaumer

Browse the full ICWE paper archive.