TY  - BOOK
AU  - Johnsen, Einar Broch||Wimmer, Manuel
TI  - Fundamental Approaches to Software Engineering: 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings
KW  - architecture verification and validation||distributed computer systems||embedded systems||empirical software validation||formal methods||model checking||model-driven software engineering||object-oriented programming||program analysis,||software performance||software quality||software testing and debugging
UR  - https://library.oapen.org/bitstream/20.500.12657/54029/1/978-3-030-99429-7.pdf
ER  -