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
Retain current filters
topic_facet:"Abstraction refinement"
Cari:
Koleksi Nasional
Menampilkan
1
-
4
of
4
untuk pencarian:
''
, lama mencari: 0.13s
Daftar
Grid
Visual
Sortir
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Reproduction Package (Full Version) for ICSE 2022 Article `Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR'
info
software
Journal
oleh
Beyer, Dirk
,
Haltermann, Jan
,
Lemberger, Thomas
,
Wehrheim, Heike
Terbitan:
2021
Institusi:
ZAIN Publications
Gedung:
Cognizance Journal of Multidisciplinary Studies
Lokasi
Repository
IOS Number
Stockholm
Cognizance Journal of Multidisciplinary Studies
IOS16997.5443638
Available online:
Get online
Favorit
Tersimpan di:
Reproduction Package (VM Version) for ICSE 2022 Article `Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR'
info
software
Journal
oleh
Beyer, Dirk
,
Haltermann, Jan
,
Lemberger, Thomas
,
Wehrheim, Heike
Terbitan:
2022
Institusi:
ZAIN Publications
Gedung:
Cognizance Journal of Multidisciplinary Studies
Lokasi
Repository
IOS Number
Stockholm
Cognizance Journal of Multidisciplinary Studies
IOS16997.5918111
Available online:
Get online
Favorit
Tersimpan di:
Reproduction Package (VM Version) for ICSE 2022 Article `Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR'
info
software
Journal
oleh
Beyer, Dirk
,
Haltermann, Jan
,
Lemberger, Thomas
,
Wehrheim, Heike
Terbitan:
2022
Institusi:
ZAIN Publications
Gedung:
Cognizance Journal of Multidisciplinary Studies
Lokasi
Repository
IOS Number
Stockholm
Cognizance Journal of Multidisciplinary Studies
IOS16997.6062602
Available online:
Get online
Favorit
Tersimpan di:
Reproduction Package (Reduced Version) for Article "Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR"
info
software
Journal
oleh
Beyer, Dirk
,
Haltermann, Jan
,
Lemberger, Thomas
,
Wehrheim, Heike
Terbitan:
2021
Institusi:
ZAIN Publications
Gedung:
Cognizance Journal of Multidisciplinary Studies
Lokasi
Repository
IOS Number
Stockholm
Cognizance Journal of Multidisciplinary Studies
IOS16997.5301637
Available online:
Get online
Favorit
Tersimpan di:
Search Tools:
Get RSS Feed
—
Email this Search
—
Save Search
Persempit Pencarian
Hapus Filter
Topik: Abstraction refinement
Sektor
4
Library
Special
4
Institusi
4
ZAIN Publications
Koleksi
4
Cognizance Journal of Multidisciplinary Studies
Format
4
Journal
Journal
4
4
Other
Info
4
Software
4
Topik
Abstraction refinement
4
CEGAR
4
Cooperative verification
4
Decomposition
4
Software engineering
4
Software verification
Pengarang
4
Beyer, Dirk
4
Haltermann, Jan
4
Lemberger, Thomas
4
Wehrheim, Heike
Bahasa
4
eng
Tahun
2
2021
2
2022
×
Loading...
