|
B Points to Bear in Mind
Michel Bidoit1 and Peter D. Mosses2
1 Laboratoire Spécification et Vérification, CNRS UMR 8643
École Normale Supérieure de Cachan
61, Avenue du Président Wilson, 94235 Cachan Cedex, France
bidoit@lsv.ens-cachan.fr
2 University of Aarhus, BRICS and Department of Computer Science
Aabogade 34, 8200 Aarhus N, Denmark
pdmosses@brics.dk
Abstract.
- B.1 Introduction
- B.2 Underlying Concepts
- B.3 Getting Started
- B.4 Partial Functions
- B.5 Subsorting
- B.6 Structuring Specifications
- B.7 Generic Specifications
- B.8 Specifying the Architecture of Implementations
- B.9 Libraries
- B.10 Foundations
- B.11 Tools
- B.12 Basic Libraries
LNCS 2900, pp. 203 - 210
Full article in PDF
lncs@springer.de
© Springer-Verlag Berlin Heidelberg 2004
|