Sandip Ray profile picture

Sandip Ray

Is this your author profile? Create an account to customize it!

Stand Alone

Scalable Techniques for Formal Verification
Satyajit Ray on Cinema
Satyajit Ray on Cinema
Raẏela Beṅgala rahasya sampūrṇa citranāṭya
Ciṛiẏākhānā sampūrṇa
Fundamentals of IP and SoC Security Design, Verification, and Debug
Fundamentals of IP and SoC Security Design, Verification, and Debug
সন্দেশ-এর সেরা ভূতের গপ্পো
Eighth International Workshop on the ACL2 Theorem Prover and Its Applications
Scalable Techniques for Formal Verification