Telecharger Cours

Type-safe Functional Queries over Object-oriented Data Models

Formal methods require a soundly based specification language. Until now the emphasis in the Z literature has been on the use of Z as a specification ...



Download