C
urrent
R
esearch
I
nformation
S
ys
T
em
I
n
N
orway
Norsk versjon
In order to register data in Cristin, you must be an academic or administrative employee.
Mainpage
Research results/NVI
Researchers
Projects
Research units
Log in
About Cristin
Back to search
Short format
Full format
Export to
EndNote
Reference Manager
PDF
Showing results 1-1 of 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 p.
UiO
Untitled
Cristin v1.2.6, 17.03.2022
[
drift@cristin.no
]