Search results for: Elvinia Riccobene
Software Testing, Verification and Reliability > 29 > 1-2 > n/a - n/a
Information and Software Technology > 2017 > 81 > C > 52-64
Lecture Notes in Computer Science > Abstract State Machines - Theory and Applications > Compilers and Semantics > 223-241
Lecture Notes in Computer Science > Abstract State Machines, B and Z > Chapter 2. ASM Papers > 71-84
Lecture Notes in Computer Science > Abstract State Machines 2004. Advances in Theory and Practice > Research Papers > 111-126
Lecture Notes in Computer Science > Rapid Integration of Software Engineering Techniques > Integration of Software Engineering Techniques Through the Use of Architecture, Process, and People Management: An Experience Report > 112-121
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Analysis and Testing > 294-309
Lecture Notes in Computer Science > Abstract State Machines, B and Z > Chapter 5. ABZ Short Papers > 348-348
Lecture Notes in Computer Science > Abstract State Machines - Theory and Applications > Automatic Verication and Model Checking > 303-322