APA Style

FISMAN, D., ROSU, G. (2022). Tools and Algorithms for the Construction and Analysis of Systems; Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II . Heidelberg, Jerman: Springer International Publishing.

MLA Style

FISMAN, Dana., ROSU, Grigore. "Tools and Algorithms for the Construction and Analysis of Systems; Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II". Heidelberg, Jerman: Springer International Publishing, 2022. Text.