Natarajan Shankar. A Brief Introduction to the PVS2C Code Generator. In Bruno Dutertre, Natarajan Shankar, editors, Automated Formal Methods, AFM@NFM 2017, Moffett Field, CA, USA, May 19-20, 2017. Volume 5 of Kalpa Publications in Computing, pages 109-116, EasyChair, 2017. [doi]
Abstract is missing.