Search

You searched for: Auteur Tahar, Sofiène Remove constraint Auteur: Tahar, Sofiène
1 - 3 of 3
Number of results to display per page

Search Results

1. Formal Methods and Software Engineering : 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings
thumbnail
Full text!
Author:
Li, Yi.; Tahar, Sofiène
Publisher:
Singapore Springer Singapore Pte. Limited 2023
Format:
e-book
2. Verification and Evaluation of Computer and Communication Systems
thumbnail
Full text!
Author:
Barkaoui; Boucheneb, Hanifa; Mili, Ali; Tahar, Sofiène
Publisher:
Springer International Publishing 2017
Format:
e-book
3. Theorem Proving in Higher Order Logics
thumbnail
Full text!
Author:
Mohamed, Otmane Ait; Ait Mohamed, Otmane; Kanade, Takeo; Muñoz, César; Muñoz, César A.; Tahar, Sofiène; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2008
Format:
e-book