Showing
1 - 1
results of
1
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
Platzer, André
Page will reload when a filter is removed.
Reset Filters
Show filters (1)
Author:
Remove Filter
Platzer, André
Search Results - "software verification"
Suggested Topics within your search.
Suggested Topics within your search.
Artificial intelligence
1
Computer programming / software development
1
Mathematical theory of computation
1
Software Engineering
1
Showing
1 - 1
results of
1
for search '
"software verification"
'
, query time: 0.02s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Published 2021
Subjects:
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
OAPEN
1 results
1
Library
OAPEN
1 results
1
Author
Platzer, André
Sutcliffe, Geoff
1 results
1
Language
English
1 results
1
Year of Publication
From:
To: