Normal view
MARC view
Dean Jordan (Personal Name)
Machine generated authority record.
Work cat.: (OSt)159920: Dean Jordan, Computer Aided Verification Techniques and Applications, 2023.