| A Formal Methods Case Study: Using Light-Weight VDM for the Development of a Security System Module | 0 | 0.34 | 2000 |
| Performance Prediction and Benchmarking: Results from the ALPSTONE Project | 1 | 0.52 | 1996 |
| The Basel Tool Suite for parallel processing | 0 | 0.34 | 1996 |
| Support for Software Reuse and Teaching: The Basel Algorithm Library BALI. | 0 | 0.34 | 1995 |
