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