Neil Jones

Deathwing

Spacewrecked on Venus

Verification, Model Checking, and Abstract Interpretation

Adventures with My Sea Pass Card: The Unofficial Guide to Cruising with RoyalCaribbean (Unabridged)