Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation

Proceedings of the 8th international SPIN workshop on Model checking of software

Proceedings of the 2014 International SPIN Symposium on Model Checking of Software

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software

Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation

Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation

Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation

Proceedings of the 12th International Conference on Computer Modeling and Simulation

Proceedings of the 12th System Analysis and Modelling Conference

Check your vocabulary for computing : workbook for users /
Dahkki: Riley, David
Almmustuhtton: (1999)

Check your vocabulary for academic english.
Dahkki: Porter, David
Almmustuhtton: (2008)

Abstracts of the 2018 ACM International Conference on Measurement and Modeling of Computer Systems

Modeling, Simulation, and Verification of Space-based Systems III

Modeling, Simulation, and Verification of Space-based Systems II

Interpretations
Dahkki: Dougherty

Interpretations

Interpretation
Dahkki: Wolters

CHI '12 Extended Abstracts on Human Factors in Computing Systems

Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems

Abstract Proceedings of the 2021 ACM SIGMETRICS / International Conference on Measurement and Modeling of Computer Systems

Abstract Proceedings of the 2023 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems

Proceedings of the 12th Workshop on OCL and Textual Modelling

Refugee Abstracts

Hebrew Abstracts

Dental Abstracts

Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling

Proceedings of the First International Workshop on Multimedia Verification

Proceedings of the 12th international conference on Supercomputing

Papers of the Symposium on Interpreters and interpretive techniques

Proceedings of the The 12th International Conference on Predictive Models and Data Analytics in Software Engineering

Proceedings of the symposium on Testing, analysis, and verification

Abstracts of the 2019 SIGMETRICS/Performance Joint International Conference on Measurement and Modeling of Computer Systems

Abstracts of the 2020 SIGMETRICS/Performance Joint International Conference on Measurement and Modeling of Computer Systems

Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution

Interpretive Quantification
Dahkki: Sjoberg

Interpreting Anime
Dahkki: Bolton

Learning to Interpret
Dahkki: McDermid