Verification, Model Checking, and Abstract Interpretation Plus de livres par Neil Jones & Markus Müller-Olm

Deathwing

2011

Spacewrecked on Venus

2015