Files
Details
Title
Rigorous verification techniques for PIC codes
Author(s)
Beadle, Carrie
Advisor(s)
Date
2015
Keywords
Laboratories
SPC
Record Appears in
Scientific production and competences > SB - School of Basic Sciences > SPC - Swiss Plasma Center > SPC - Swiss Plasma Center
Work produced at EPFL
Student projects
Work produced at EPFL
Student projects
Work type
Semester assignment
Record creation date
2016-02-06