DSpace About DSpace Software

DSpace at Cochin University >

Browsing by Author Lal, Jaya

Jump to a point in the index:
Or type in a year:
Sort by: In order: Results/Page Authors/Record:
Showing results 1 to 1 of 1
Issue DateTitleAuthor(s)
19-Jun-2010Modeling of ALFA Programs Using PVS Theorem ProverSanthosh Kumar, G; Asokan, Shimmy; Lal, Jaya
Showing results 1 to 1 of 1


Valid XHTML 1.0! DSpace Software Copyright © 2002-2010  Duraspace - Feedback