Showing
1 - 4
results of
4
for search '
"formal methods"
'
Skip to content
VuFind
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Page will reload when a filter is removed.
Reset Filters
Applied Filters:
Author:
Remove Filter
Shoham, Sharon
Page will reload when a filter is removed.
Reset Filters
Show filters (1)
Author:
Remove Filter
Shoham, Sharon
Search Results - "formal methods"
Suggested Topics within your search.
Suggested Topics within your search.
Artificial intelligence
4
Computer networking & communications
4
Software Engineering
4
Algorithms & data structures
2
Computer science
2
Showing
1 - 4
results of
4
for search '
"formal methods"
'
, query time: 0.04s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II
Published 2022
DOAB: download the publication
DOAB: description of the publication
Electronic
Book Chapter
Save to List
Saved in:
2
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I
Published 2022
DOAB: download the publication
DOAB: description of the publication
Electronic
Book Chapter
Save to List
Saved in:
3
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I
Published 2022
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic
Book Chapter
Save to List
Saved in:
4
Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II
Published 2022
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic
Book Chapter
Save to List
Saved in:
Search Tools:
RSS Feed
Email Search
Save Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Institution
Directory of Open Access Books
2 results
2
OAPEN
2 results
2
Library
DOAB
2 results
2
OAPEN
2 results
2
Author
Shoham, Sharon
Vizel, Yakir
4 results
4
Language
English
4 results
4
Year of Publication
From:
To: