TY  - BOOK
AU  - Shankar, Saumya.
TI  - Advancements in runtime enforcement frameworks: finite memory, compositional approaches and practical applications 
U1  - 004.2 
PY  - 2024///
CY  - Bhubaneswar
PB  - IIT Bhubaneswar
KW  - Finite element
ER  -