Modeling of ALFA Programs Using PVS Theorem Prover Conference Paper

http://dx.doi.org/10.1109/artcom.2009.134

Overview
Identity
View All

authors

Asokan, Shimmi
G, Santhosh Kumar
Lal, N. Jaya

publication date

January 1, 2009