Inderpreet-Singh Dhingra
2 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.
Formalising an integrated circuit design style in higher order logic
Inderpreet-Singh Dhingra (1988) · University of Cambridge Computer Laboratory
Formal validation of an integrated circuit design style
Inderpreet-Singh Dhingra (1987) · University of Cambridge Computer Laboratory