N. Jaya Lal

Publication Activity (10 Years)

Years Active: 2009-2009
Publications (10 Years): 0

Publications

Shimmi Asokan, G. Santhosh Kumar, N. Jaya Lal
Modeling of ALFA Programs Using PVS Theorem Prover. ARTCom (2009)