Static Analysis Static Analysis

Static Analysis

30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings

    • USD 69.99
    • USD 69.99

Publisher Description

Chapter 21 is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

GENRE
Computing & Internet
RELEASED
2023
23 October
LANGUAGE
EN
English
LENGTH
581
Pages
PUBLISHER
Springer Nature Switzerland
SELLER
Springer Nature B.V.
SIZE
68.9
MB
Prolog: The Next 50 Years Prolog: The Next 50 Years
2023
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
2017