Skip to content
Toggle navigation
Tentang IOS
Join Us
Hubungi Kami
Organisasi Mitra
Akun Anda
Keluar
Masuk
Bahasa Indonesia
Bahasa Indonesia
English
Semua Kolom
Judul
Pengarang
Subject
Call Number
ISBN/ISSN
Tag
Cari
Lanjutan
Pengarang
Iram Rubab
Koleksi Nasional
Menampilkan
1
-
1
of
1
untuk pencarian:
'Iram Rubab'
, lama mencari: 0.07s
Daftar
Grid
Visual
Sortir
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Data and Control Flow Analysis of VDMμ Specifications
Article
Journal
oleh
Mubina Nazmeen
,
Iram
Rubab
Terbitan:
2010
Available online:
Get online
Favorit
Tersimpan di:
Search Tools:
Get RSS Feed
—
Email this Search
—
Related Subjects
VDM-SL
VDMμ
control flowgraph
data flow graph
formal specification
testing
×
Loading...
