Login / Signup
Saeed Khalafinejad
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Database Management
Database
Delay Insensitive
High Level
Top Venues
Inf. Softw. Technol.
</>
Publications
</>
Saeed Khalafinejad
,
Seyed-Hassan Mirian-Hosseinabadi
Translation of Z specifications to executable code: Application to the database domain.
Inf. Softw. Technol.
55 (6) (2013)