Skip to main content

3 Result(s)

within Computer Science Remove this filter Software Engineering/Programming and Operating Systems Remove this filter **jun Sun Remove this filter Conference Proceedings Remove this filter

and

  1. No Access

    Book and Conference Proceedings

    Automated Technology for Verification and Analysis

    21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part II

    Étienne André, Jun Sun in Lecture Notes in Computer Science (2023)

  2. No Access

    Book and Conference Proceedings

    Automated Technology for Verification and Analysis

    21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I

    Étienne André, Jun Sun in Lecture Notes in Computer Science (2023)

  3. No Access

    Book and Conference Proceedings

    Dependable Software Engineering. Theories, Tools, and Applications

    9th International Symposium, SETTA 2023, Nan**g, China, November 27–29, 2023, Proceedings

    Holger Hermanns, Jun Sun, Lei Bu in Lecture Notes in Computer Science (2024)