• English
  • Deutsch
  • Log In
    Password Login
    Research Outputs
    Fundings & Projects
    Researchers
    Institutes
    Statistics
Repository logo
Fraunhofer-Gesellschaft
  1. Home
  2. Fraunhofer-Gesellschaft
  3. Hauptwerk
  4. Tools and algorithms for the construction and analysis of systems : 28th international conference, TACAS 2022. Part 2
 
  • Details
  • Publications
Options
Title

Tools and algorithms for the construction and analysis of systems : 28th international conference, TACAS 2022. Part 2

Title Supplement
Held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings
Editor(s)
Fisman, Dana
Publisher
Springer  
Publication Date
2022
Series
Lecture notes in computer science; 13244
ISBN
978-3-030-99526-3
978-3-030-99527-0
Conference
International Conference on Tools and Algorithms for the Construction and Analysis of Systems 2022  
Joint European Conferences on Theory and Practice of Software 2022  
Acronym
TACAS
ETAPS
Language
English
  • Cookie settings
  • Imprint
  • Privacy policy
  • Api
  • Contact
© 2024