OLADIMEJI, Patrick; MASCI, Paolo; CURZON, Paul; THIMBLEBY, Harold. PVSio-web: a tool for rapid prototyping device user interfaces in PVS. Electronic Communications of the EASST, [S. l.], v. 69, 2014. DOI: 10.14279/tuj.eceasst.69.963. Disponível em: https://eceasst.org/index.php/eceasst/article/view/2155. Acesso em: 23 nov. 2024.