Normal view
MARC view
Mikhail Rana Farid Et Al (Personal Name)
Machine generated authority record
Work cat.: (OSt)1544051: Mikhail Rana Farid Et Al, Automated Database Applications Testing: Specification Representation for Automated Reasoning