Widok standardowy
Widok MARC
Siwiak, Tomasz. (Hasło osobowe)
Towards verification of Java programs in VerICS / Maciej Orzechowski, Bożena Woźna and Tomasz Siwiak. - Warszawa, 2006.
Towards verification of Java programs in VerICS / Maciej Orzechowski, Bożena Woźna and Tomasz Siwiak. - Warszawa, 2006.