A Pre-processing Tool for Z2SAL to Broaden Support for Model Checking Z Specifications
| Main Author: | Siregar, Maria Ulfah |
|---|---|
| Format: | BookSection PeerReviewed Book |
| Bahasa: | eng |
| Terbitan: |
Springer International Publishing
|
| Subjects: | |
| Online Access: |
http://digilib.uin-suka.ac.id/39304/1/PreprocessingToolforZ2SAL.pdf http://digilib.uin-suka.ac.id/39304/ |
Internet
http://digilib.uin-suka.ac.id/39304/1/PreprocessingToolforZ2SAL.pdfhttp://digilib.uin-suka.ac.id/39304/
Lokasi
| Koleksi | Digital Library UIN Sunan Kalijaga |
|---|---|
| Gedung | Perpustakaan UIN Sunan Kalijaga |
| Institusi | UIN Sunan Kalijaga |
| Kota | KOTA YOGYAKARTA |
| Provinsi | DAERAH ISTIMEWA YOGYAKARTA |
| Kontak | Butuh informasi lebih lanjut? Hubungi pustakawan institusi ini. |