Automata, Languages and Programming
From MaRDI portal
Publication:5716756
DOI10.1007/11523468zbMath1081.68576OpenAlexW2940595899WikidataQ56656999 ScholiaQ56656999MaRDI QIDQ5716756
Mila Dalla Preda, Roberto Giacobazzi
Publication date: 10 January 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11523468
Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (4)
Enhancing the implementation of mathematical formulas for fixed-point and floating-point arithmetics ⋮ Semantics-based software watermarking by abstract interpretation ⋮ Maximal incompleteness as obfuscation potency ⋮ Using algebraic models of programs for detecting metamorphic malwares
This page was built for publication: Automata, Languages and Programming
