| 700 Entri Tambahan Nama Orang | |
| 711 Entri Tambahan Nama Pertemuan | |
| 001 Hak Akses (open/membership) | membership |
| 336 Content Type | text (rdacontent) |
| 710 Entri Tambahan Badan Korporasi | Universitas Indonesia. Fakultas Matematika dan Ilmu Pengetahuan Alam |
| 264b Nama Penerbit | Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia |
| 852 Lokasi | Perpustakaan UI, Lantai 3 |
| 049 No. Barkod | 09-21-787325858 |
| 110 Entri Utama Badan Korporasi | |
| 338 Carrier Type | online resource (rdacarrier) |
| 590 Cat. Sumber Pengadaan Koleksi | Deposit |
| 903 Stock Opname | |
| 053 No. Induk | 09-21-787325858 |
| 653 Kata Kunci | |
| 040 Sumber Pengatalogan | LibUI ind rda |
| 111 Entri Utama Nama Pertemuan | |
| 245 Judul Utama | Construction of Trustworthy Software Using Formal Methods First Year Research Report |
| 650 Subyek Topik | |
| 264c Tahun Terbit | 1998 |
| 850 Lembaga Pemilik | Universitas Indonesia |
| 520 Ringkasan/Abstrak/Intisari | |
| 904b Pemeriksa Lembar Kerja | |
| 090 No. Panggil Setempat | LP-pdf |
| 337 Media Type | computer (rdamedia) |
| 526 Catatan Informasi Program Studi | |
| 100 Entri Utama Nama Orang | Belawati H. Widjaja, author |
| 264a Kota Terbit | Depok |
| 300 Deskripsi Fisik | |
| 904a Pengisi Lembar Kerja | |
| 502 Catatan Jenis Karya | Laporan Penelitian |
| 041 Kode Bahasa | ind |