Ringer (Personal Name)

Number of records used in: 1

Preferred form: Ringer

Machine generated authority record

Work cat.: (OSt)200609: Ringer, QED at Large: A Survey of Engineering of Formally Verified Software

Dr. Sanjeev, Librarian

Managed by: Dr. D. P. Tripathi, Deputy Librarian, Central Library

For any query / question, please mail at circulation.liby@nitj.ac.in