Infoscience

Conference paper

Integrating Performance Evaluation and Formal Specification

Related material