Abstract Symbolic Automata
From MaRDI portal
Publication:2819818
DOI10.1145/2676726.2676986zbMath1345.68100MaRDI QIDQ2819818
Roberto Giacobazzi, Arun Lakhotia, Isabella Mastroeni, Mila Dalla Preda
Publication date: 29 September 2016
Published in: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2676726.2676986
68Q45: Formal languages and automata
68Q55: Semantics in the theory of computing
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items