Book titles in this series

  1. Engineering Trustworthy Software Systems

    6th International School, SETSS 2024, Chongqing, China, April 14–21, 2024, Tutorial Lectures

    Editors:
    • Jonathan P. Bowen
    • Cláudio Gomes
    • Zhiming Liu
    • Copyright: 2025

    Available Renditions

    • Soft cover
  2. Formal Methods for an Informal World

    ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures

    Editors:
    • Antonio Cerone
    • Copyright: 2023

    Available Renditions

    • Soft cover