Normal view
MARC view
Reynolds, Andrew(Personal Name)
Machine generated authority record
Work cat.: (UDJG)61946: Verified Software. Theories, Tools and Experiments