Common use of Available Documentation Clause in Contracts

Available Documentation. Pre-studies (states of the art, proposals, discussions). • Proposals for Mathematical Extensions for Event-B [3] • Mathematical Extension in Event-B through the Rodin Theory Component [4] • Generic Parser's Design Alternatives [5] • Theoretical Description of Structured Types [6] • Technical details (specifications). • Mathematical_Extensions wiki page [7] • Constrained Dynamic Lexer wiki page [8] • Constrained Dynamic Parser wiki page [1] • Theory plug-in wiki page [9] • Records Extension Documentation on wiki [10] • Teaching materials (tutorials). • User's guides. • Theory Plug-in User Manual [11]

Available Documentation. Pre-studies (states of the art, proposals, discussions). ): • Proposals for Mathematical Extensions for Event-B [315] • Mathematical Extension in Event-B through the Rodin Theory Component [416] • Generic Parser's Design Alternatives [517] • Theoretical Description of Structured Types [618] • Technical details (specifications). ): • Mathematical_Extensions wiki page [719] • Constrained Dynamic Lexer wiki page [820] • Constrained Dynamic Parser wiki page [121] • Theory plug-in wiki page [922] • Records Extension Documentation on wiki [1023] • Teaching materials (tutorials). • User's guides. : • Theory Plug-in User Manual [1124]