Fiadeiro, José LuizCarreira, Paulo Jorge Fernandes2012-07-042014-11-142012-07-042014-11-141999-12http://hdl.handle.net/10451/13967http://repositorio.ul.pt/handle/10455/6864engVerificação automática de Especificações OBLOGmaster thesis