ACM SIGPLAN - [VMCAI'24] Deductive Verification of Parameterized Embedded Systems modeled in SystemC
Sign in to continue reading, translating and more.
