Polynomial Analysis of Modular Arithmetic
Attributed to:
Session Types for Reliable Distributed Systems (STARDUST)
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-031-44245-2_22
Publication URI: http://dx.doi.org/10.1007/978-3-031-44245-2_22
Type: Book Chapter
Book Title: Static Analysis - 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings (2023)
Page Reference: 508-539