Vdm 91: Formal Software Development Methods : Proceedings: 001 - Brossura

Prehn, S.

 
9780387548340: Vdm 91: Formal Software Development Methods : Proceedings: 001