Collaborated with:
R.K.Medicherla R.Komondoor
Talks about:
special (1) program (1) specif (1) format (1) verif (1) file (1) use (1)
Person: S. Narendran
DBLP: Narendran:S=
Contributed to:
Wrote 1 papers:
- ICSME-2015-MedicherlaKN #specification #using #verification
- Program specialization and verification using file format specifications (RKM, RK, SN), pp. 191–200.