Lewis, T.G. (Theodore Gyle)
Software engineering : analysis and verification
Prentice-Hall, 1982
Buku Teks
Kerstin Eder, editor
Hardware and software : verification and testing, 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011 : revised selected papers
Springer-Verlag, 2012
eBooks
Software engineering metrics; Vol. I : measures and validations
edited by Martin Shepperd
McGraw-Hill, 1993
Buku Teks
Studi tentang rekayasa dan verifikasi rigor menggunakan sdl dalam perancangan manajemen kegagalan sistem
Fakultas Ilmu Komputer Universitas Indonesia, 1997
UI - Skripsi (Membership)
Marielle Stoelinga, editor
Formal methods for industrial critical systems : 17th international workshop, FMICS 2012, Paris, France, August 27-28, 2012 : proceedings
[, Springer-Verlag ], 2012
eBooks