• Securing verified IO programs against unverified code in F∗Andrici, Cezar-Constantin; Ciobâca, Stefan; HriÅ£cu, Catalin; Martínez, Guido; Rivas Gadda, Exequiel Matías; Tanter, Éric; Winterhalter, ThéoProceedings of the ACM on programming languages2024 / art. 74, 34 p. : ill https://doi.org/10.1145/3632916 https://www.scopus.com/sourceid/21101020042 https://www.scopus.com/record/display.uri?eid=2-s2.0-85183076604&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=TITLE-ABS-KEY%28%22Securing+verified+IO+programs+against+unverified+code+in+F*%22%29&sessionSearchId=720044c030ecd4be2c873494c1a60274&relpos=0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=P%20ACM%20PROGRAM%20LANG&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:001170729400075
• Web-based framework for parallel distributed test [Electronic resource]Ivask, Eero; Raik, Jaan; Ubar, Raimund-Johannes2008 IEEE Design and Diagnostics of Electronic Circuits and Systems : Bratislava, Slovakia, April 16-18, 20082008 / p. 271-274 : ill. [CD-ROM] https://ieeexplore.ieee.org/document/4538800