Principles of model cheking | Perpustakaan Universitas Maritim Raja Ali Haji