Preface to the Special Issue of the Journal
Verification of Estelle-Specified Communication Protocols Using High-Level Petri Nets
Visualization Facilities in Program Reengineering
Support Facilities for Development of Parallel Computational Algorithms
Automated Test Generation and Static Analysis
Subdefinite Models and Logic Programming
Evaluating Elementary Functions with Guaranteed Precision