Normal view
MARC view
Twins Fiction (Topical Term)
Machine generated authority record.
Work cat.: (OSt)173780: Automated technology for verification and analysis : 8th international symposium : proceedings, ATVA, Singapore, Sept. 21-24, 2010 (e-book)