APA Style
Margaria, Tiziana, Steffen, Bernhard. (2022).
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part III (1).
Switzerland:
Springer Cham.
Chicago Style
Margaria, Tiziana, Steffen, Bernhard.
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part III.
1
Switzerland:
Springer Cham,
2022.
Electronic Resource.
MLA Style
Margaria, Tiziana, Steffen, Bernhard.
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part III.
1
Switzerland:
Springer Cham,
2022.
Electronic Resource.
Turabian Style
Margaria, Tiziana, Steffen, Bernhard.
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part III.
1
Switzerland:
Springer Cham,
2022.
Electronic Resource.