Separation Logic with Linearly Compositional Inductive Predicates and Set Data Constraints
Attributed to:
Perturbation Analysis for Probabilistic Verification
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-030-10801-4_17
Publication URI: http://dx.doi.org/10.1007/978-3-030-10801-4_17
Type: Book Chapter
Book Title: SOFSEM 2019: Theory and Practice of Computer Science - 45th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 27-30, 2019, Proceedings (2019)
Page Reference: 206-220