APA Style
Groote, Jan Friso, Larsen, Kim Guldstrand. (2021).
Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I (1).
Switzerland:
Springer Cham.
Chicago Style
Groote, Jan Friso, Larsen, Kim Guldstrand.
Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I.
1
Switzerland:
Springer Cham,
2021.
Electronic Resource.
MLA Style
Groote, Jan Friso, Larsen, Kim Guldstrand.
Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I.
1
Switzerland:
Springer Cham,
2021.
Electronic Resource.
Turabian Style
Groote, Jan Friso, Larsen, Kim Guldstrand.
Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I.
1
Switzerland:
Springer Cham,
2021.
Electronic Resource.