• Home
  • Search
  • Enabling Theory-Based Continuous Assurance: A Coherent Approach with Semantics and Automated Synthesis
  • Cite Icon3
  • https://doi.org/10.1007/978-3-031-68738-9_13Copy DOI Icon

Enabling Theory-Based Continuous Assurance: A Coherent Approach with Semantics and Automated Synthesis

  • Jan 1, 2024
  • Srivatsan Varadarajan +8 more
Show More
  • Abstract
  • Literature Map
  • References
  • Citations
  • Similar Papers
Abstract

Enabling Theory-Based Continuous Assurance: A Coherent Approach with Semantics and Automated Synthesis

Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.