Nazarpour, Hosein
Documents Indexed: | 1 Publication since 2017 |
Co-Authors: | 3 Co-Authors with 1 Joint Publication |
114 Co-Co-Authors |
Co-Authors
0 | single-authored |
1 | Bensalem, Saddek |
1 | Bozga, Marius |
1 | Falcone, Yliès |
Serials
1 | Formal Aspects of Computing |
Fields
1 | Computer science (68-XX) |
Publications by Year
all
top 5
Cited by 21 Authors
Cited in 3 Serials
1 | Formal Aspects of Computing |
1 | Formal Methods in System Design |
1 | Journal of Logical and Algebraic Methods in Programming |
Cited in 1 Field
3 | Computer science (68-XX) |