Dishwashers of Armageddon: Verifying high consequence systems for Nuclear Weapons.
Abstract not provided.
Armstrong, Robert C.↗
Engineering topics
Aytac, Jon M
Publications and source records attributed to Aytac, Jon M.
Quameleon: A Lifter and Intermediate Language for Binary Analysis.
Abstract not provided.
Pollard, Samuel Douglas↗