Normal view MARC view

Isil Dillig, Jens Palsberg(Personal Name)

Preferred form: Isil Dillig, Jens Palsberg

Machine generated authority record

Work cat.: (OSt)1628135: Isil Dillig, Jens Palsberg, Verification, Model Checking, and Abstract Interpretation

Copyright @ Delhi University Library System