Encoding floating-points using the SMT theory in ESBMC: An empirical evaluation over the SV-COMP benchmarks av Gadelha, M, Cordeiro, L, Nicole, D

Medical management pathways for Cushing’s disease in pituitary tumors centers of excellence (PTCOEs) av Giustina, A, Uygur, MM, Frara, S, Barkan, A, Biermasz, NR, Chanson, P, Freda, P, Gadelha, M, Haberbosch, L, Kaiser, UB, Lamberts, S, Laws, E, Nachtigall, LB, Popovic, V, Schilbach, K, Lely, AJVD, Wass, JAH, Melmed, S, Casanueva, FF

Standards of care for medical management of acromegaly in pituitary tumor centers of excellence (PTCOE) av Giustina, A, Uygur, MM, Frara, S, Barkan, A, Biermasz, NR, Chanson, P, Freda, P, Gadelha, M, Haberbosch, L, Kaiser, UB, Lamberts, S, Laws, E, Nachtigall, LB, Popovic, V, Reincke, M, van der Lely, AJ, Wass, JAH, Melmed, S, Casanueva, FF