Imagen Principal
1

Program Development by Refinement: B Method Case Studies - Formal Approaches to Computing and Information Technology

Imagen ampliada