Artem Starostin Person-Info 

( Ich bin Artem Starostin)

News

Campus Event Calendar: Artem Starostin ( in E )

mikado.mpi-inf.mpg.de
What and Who. Title: Formally Verified Data Structures Library for C. The String Data Structure. Speaker: Artem Starostin. coming from: IMPRS.

VSTTE'10 Verified Software: Theories, Tools and Experimentswww.macs.hw.ac.uk › vstte10 › Programme

www.macs.hw.ac.uk
• : Eyad Alkassar, Wolfgang Paul, Artem Starostin and Alexandra Tsyban. Pervasive Verification of an OS Microkernel: Inline Assembly, ...

CRISP-Forscher erhalten Preise für "Beste Lehre" - ATHENE

www.athene-center.de
Im Rahmen des Kolloquiums am Fachbereich Informatik wurde der Preis für "Beste Lehre" verliehen. Für das Sommersemester erhielt...
Dossier exportieren
+1