M. K. Srivas

3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

A bitvectors library for PVS

R. W. Butler and others (1996) · Technical Report TM-110274

Modular verification of SRT division

H. Rueß and others (1996) · Springer Berlin Heidelberg

From algebraic specifications to correct VLSI circuits

G. C. Gopalakrishnan and others (1987) · From HDL Descriptions to Guaranteed Correct Circuit Designs · North-Holland