C
urrent
R
esearch
I
nformation
S
ys
T
em
I
n
N
orway
English version
For å registrere i Cristin må du være vitenskapelig eller administrativt ansatt.
Hovedside
Forskningsresultater/NVI
Forskere
Prosjekter
Forskningsenheter
Logg inn
Om Cristin
Tilbake til søk
Kort format
Fullt format
Eksporter til
EndNote
Reference Manager
PDF
Viser treff 1-1 av 1
1
.
Abraham, Erika
; Tapia Tarifa, Silvia Lizeth
.
Proceedings of the PhD Symposium at iFM’17 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’17). : University of Oslo 2017 (ISBN 978-82-7368-435-6) 50 s.
UiO
Untitled
Cristin v1.2.5, 26.05.2020
[
drift@cristin.no
]