Machine generated authority record.
Work cat.: (OSt)613050: laski, janusz, software verification and analysis , 2012
Powered by Koha