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
Cortesi, Agostino
Koleksi Nasional
Menampilkan
1
-
3
of
3
untuk pencarian:
'Cortesi, Agostino'
, lama mencari: 0.14s
Daftar
Grid
Visual
Sortir
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Artifact for Twinning automata and regular expressions for string static analysis
info
software
eJournal
oleh
Negrini Luca
,
Arceri Vincenzo
,
Ferrara Pietro
,
Cortesi
Agostino
Terbitan:
2020
Available online:
Get online
Favorit
Tersimpan di:
Computer Information Systems and Industrial Management12th IFIP TC8 International Conference, CISIM 2013, Krakow, Poland, September 25-27, 2013. Proceedings
EBK
oleh
SpringerLink (Online service)
,
Wierzcho?, S?awomir.
,
Chaki, Rituparna.
,
Cortesi
,
Agostino
.
Available online:
Get online
Get online
Favorit
Tersimpan di:
Advanced Computing and Systems for Security
Book
PeerReviewed
Terbitan:
Springer Nature, 2017
“
...
Cortesi, Agostino
...
”
Available online:
Get online
Get online
Favorit
Tersimpan di:
Search Tools:
Get RSS Feed
—
Email this Search
—
Related Subjects
Computer science
QA76.9.A25 Computer security. Systems and Data Security
abstract interpretation
finite state automata
static analysis
string analysis
×
Loading...
