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

Cached

Download Links

by Antti-Juhani Kaijanaho
Citations:2 - 2 self