Verificação automática de projectos: para além da desmaterialização de processos - João Pedro Poças Martins (2015)