Dependable Software Engineering. Theories, Tools, and Applications Dependable Software Engineering. Theories, Tools, and Applications
٢٠٢٣
Measurement, Modelling and Evaluation of Computing Systems Measurement, Modelling and Evaluation of Computing Systems
٢٠٢٠
Computer Aided Verification Computer Aided Verification
٢٠٠٧