Akash Lal · 3 obras en el catálogoObrasVerification, Model Checking, and Abstract InterpretationVVerified Software. Theories, Tools and ExperimentsVerified Software. Theories, Tools and ExperimentsCComputer Aided VerificationComputer Aided Verification
VVerified Software. Theories, Tools and ExperimentsVerified Software. Theories, Tools and Experiments