| 682 | -- | 694 | Yih-Farn Chen, Emden R. Gansner, Eleftherios Koutsofios. AC++ Data Model Supporting Reachability Analysis and Dead Code Detection |
| 695 | -- | 708 | Jules Desharnais, Marc Frappier, Ridha Khédri, Ali Mili. Integration of Sequential Scenarios |
| 709 | -- | 720 | John M. Rushby, Sam Owre, Natarajan Shankar. Subtypes for Specifications: Predicate Subtyping in PVS |
| 721 | -- | 740 | Gerardo Canfora, Aniello Cimitile, Ugo de Carlini, Andrea De Lucia. An Extensible System for Source Code Analysis |
| 741 | -- | 758 | Steve Schneider. Verifying Authentication Protocols in CSP |
| 759 | -- | 775 | Xiping Song, Leon J. Osterweil. Engineering Software Design Processes to Guide Process Execution |