| 211 | -- | 215 | B. Tim Denvir, José Nuno Oliveira, Nico Plat. The Cash-Point (ATM) Problem |
| 216 | -- | 217 | Peter Gorm Larsen, Paul Mukherjee, Kim Sunesen. Using VDMTools to Model and Validate the Cash Dispenser Example |
| 218 | -- | 219 | Anca Browne, Bernd Finkbeiner, Zohar Manna, Henny Sipma. The Cash-Point Service: A Verification Case Study Using STeP |
| 220 | -- | 221 | Henning Dierks, Josef Tapken. Modelling and Verifying of a Cash-Point Service Using MOBY/PLC |
| 222 | -- | 224 | Vahur Kotkas, Peep Küngas, Mait Harf. The Cash-Point Service in NUT |
| 225 | -- | 227 | Oscar Slotosch. Modelling and Validation: AUTOFOCUS and Quest |
| 228 | -- | 230 | Sophie Dupuy, Lydie du Bousquet. A Multi-formalism Approach for the Validation of UML Models |
| 231 | -- | 232 | Timo Aaltonen, Pertti Kellomäki, Risto Pitkänen. Specifying Cash-Point with DisCo |
| 233 | -- | 236 | Sylvan Dissoubray, Bernard Dion. Design of an Automatic Teller Machine with Esterel Studio |
| 237 | -- | 259 | Richard Butterworth, Ann Blandford, David J. Duke. Demonstrating the Cognitive Plausibility of Interactive System Specifications |
| 260 | -- | 277 | Gavin J. Doherty, José Creissac Campos, Michael D. Harrison. Representational Reasoning and Verification |
| 278 | -- | 297 | Kaisa Sere, Marina A. Waldén. Data Refinement of Remote Procedures |
| 298 | -- | 312 | Anthony C. J. Fox, Neal A. Harman. Algebraic Models of Correctness for Microprocessors |