Percorrer por autor Alam, Imran Subscrever estatísticas do autor Alam, Imran
Mostrar 1-1 de um total de 1 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
---|---|---|---|---|
Mai-2021 | A deductive reasoning approach for database applications using verification conditions | Alam, Imran; Halder, Raju; Pinto, Jorge Sousa | Artigo | Acesso restrito UMinho |