Giters

atemate / ms-thesis

Master's thesis "Automated Analysis of Weak Memory Models" by Artem Yushkovskiy (Aalto University, 2018)

Home Page:https://aaltodoc.aalto.fi/handle/123456789/33650

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

ms-thesis

About

Master's thesis "Automated Analysis of Weak Memory Models" by Artem Yushkovskiy (Aalto University, 2018)

https://aaltodoc.aalto.fi/handle/123456789/33650

Languages

Language:TeX 94.2%Language:Jupyter Notebook 4.9%Language:C 0.5%Language:Makefile 0.3%Language:Java 0.0%Language:Shell 0.0%