Final Report on SRC Project into Program Proving

Opis bibliograficzny
1. autor: Hoare, C
Format: Record
Wydane: 2015