AUB ScholarWorks
Search
AUB ScholarWorks Home
→
Students Publications
→
Search
JavaScript is disabled for your browser. Some features of this site may not work without it.
Search
Filters
Use filters to refine the search results.
Current Filters:
Title
Author
Subject
Date issued
Has File(s)
Filename
File description
Contains
Equals
ID
Not Contains
Not Equals
Not ID
Title
Author
Subject
Date issued
Has File(s)
Filename
File description
Contains
Equals
ID
Not Contains
Not Equals
Not ID
New Filters:
Title
Author
Subject
Date issued
Has File(s)
Filename
File description
Contains
Equals
ID
Not Contains
Not Equals
Not ID
Showing 2 out of a total of 2 results for community: Students Publications.
(0.006 seconds)
Now showing items 1-2 of 2
1
Sort Options:
Relevance
Title Asc
Title Desc
Issue Date Asc
Issue Date Desc
Results Per Page:
5
10
20
40
60
80
100
Verification of software and embedded systems using AIG solvers -
Noureddine, Mohamad Ali,
(
2014
)
Specification construction using equivalence relations and SMT solvers -
Abou Ismail, Rabeeh Ghaleb,
(
2015
)
Now showing items 1-2 of 2
1
Sort Options:
Relevance
Title Asc
Title Desc
Issue Date Asc
Issue Date Desc
Results Per Page:
5
10
20
40
60
80
100
Browse
All of AUB ScholarWorks
Communities & Collections
By Issue Date
Authors
Titles
Subjects
This Community
By Issue Date
Authors
Titles
Subjects
My Account
Login
Discover
Author
Abou Ismail, Rabeeh Ghaleb, (1)
Noureddine, Mohamad Ali, (1)
Subject
Computer logic. (2)
Software engineering. (2)
Computer programs -- Verification. (1)
Computer software -- Reliability. (1)
Computer software -- Specifications. (1)
Computer software -- Verification. (1)
ET:006041 AUBNO (1)
Formal methods (Computer science) (1)
Graphical user interfaces (Computer systems) (1)
Logic design -- Computer programs. (1)
... View More
Date Issued
2014 (1)
2015 (1)
Has File(s)
Yes (2)