Automated Algebraic Reasoning for Collections and Local Variables with Lenses (2020)

First Author: Foster S
Attributed to:  CyPhyAssure: Compositional Safety Assurance for Cyber-Physical Systems funded by ISCF

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://www.springer.com/gp/book/9783030435196

Type: Conference/Paper/Proceeding/Abstract

Volume: LNCS 12062