APA Style
Fisman, Dana, Rosu, Grigore. (2022).
Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I (1).
Switzerland:
Springer Cham.
Chicago Style
Fisman, Dana, Rosu, Grigore.
Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I.
1
Switzerland:
Springer Cham,
2022.
Electronic Resource.
MLA Style
Fisman, Dana, Rosu, Grigore.
Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I.
1
Switzerland:
Springer Cham,
2022.
Electronic Resource.
Turabian Style
Fisman, Dana, Rosu, Grigore.
Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I.
1
Switzerland:
Springer Cham,
2022.
Electronic Resource.