Testing Software and SystemsKhaled El-Fakih, Gerassimos Barlas, Nina Yevtushenko · First published 2015Open the Tome
Formal Techniques for Networked and Distributed Systems - FORTE 2008Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih · First published 2008Open the Tome
