Verification, Model Checking, and Abstract Interpretation Mehr Bücher von Neil Jones & Markus Müller-Olm

Deathwing

2011

Spacewrecked on Venus

2015