Skip to main content
SpringerLink
Log in
Springer
Innovations in Systems and Software Engineering

A NASA Journal

Publishing model:
Hybrid
Search all Innovations in Systems and Software Engineering articles

Volume 18, Issue 3

September 2022

Special Issue: 19th International Symposium on Automated Technology for Verification and Analysis (ATVA 2021)

Issue Editors:
  • Hóu Zhé,
  • Vijay Ganesh,
  • Jing Sun
11 articles in this issue

  1. Editorial

    • Zhé Hóu
    • Vijay Ganesh
    • Jing Sun
    Editorial 05 September 2022 Pages: 333 - 334

  9. Live synthesis

    • Bernd Finkbeiner
    • Felix Klein
    • Niklas Metzger
    S.I. : ATVA 2021 Open access 31 March 2022 Pages: 443 - 454

Search

Navigation