This volume contains the final versions of a collection of papers presented at the Annual Confere...

The ASM 2000 workshop was held in the conference center of the Swiss Federal Institute of Technol...

To prove the correctness of a program is to demonstrate, through impeccable mathematical techniqu...