The formal method known as B and a sketch for its implementation

DSpace/Manakin Repository

Refworks export

The formal method known as B and a sketch for its implementation

This item appears in the following Collection(s)