Showing
1 - 6
results of
6
for search '
"software verification"
'
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
Lal, Akash
Page will reload when a filter is removed.
Reset Filters
Show filters (1)
Author:
Remove Filter
Lal, Akash
Search Results - "software verification"
Suggested Topics within your search.
Suggested Topics within your search.
Algorithms & data structures
6
Artificial intelligence
6
Computer networking & communications
6
Software Engineering
6
Showing
1 - 6
results of
6
for search '
"software verification"
'
, query time: 0.03s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III
Published 2023
DOAB: download the publication
DOAB: description of the publication
Electronic
Book Chapter
Save to List
Saved in:
2
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II
Published 2023
DOAB: download the publication
DOAB: description of the publication
Electronic
Book Chapter
Save to List
Saved in:
3
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
Published 2023
DOAB: download the publication
DOAB: description of the publication
Electronic
Book Chapter
Save to List
Saved in:
4
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II
Published 2023
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic
Book Chapter
Save to List
Saved in:
5
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
Published 2023
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic
Book Chapter
Save to List
Saved in:
6
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III
Published 2023
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
3 results
3
OAPEN
3 results
3
Library
DOAB
3 results
3
OAPEN
3 results
3
Author
Enea, Constantin
6 results
6
Lal, Akash
Language
English
6 results
6
Year of Publication
From:
To: