Showing
1 - 2
results of
2
Skip to content
Portal K.UTB
Čeština
Login
TBU Catalog
e-resources
E-THESES
All Fields
Title
Author
Subject
Find
Advanced Search
Search Results - "Deductive Program Verification"
Showing
1 - 2
results of
2
Refine Results
Sort
Relevance
Date Descending
Date Ascending
1
Loading…
A Deductive Verification Framework For Higher Order Programs
by
Soares, Tiago Lopes
Year of Publication
27.11.2020
Get full text
Journal Article
Save to List
Saved in:
2
Loading…
A Deductive Verification Framework For Higher Order Programs
by
Tiago Lopes Soares
Published in
arXiv.org
(28.11.2020)
Get full text
Paper
Save to List
Saved in:
RSS Feed
Email Search
Save Search
Search History
Back
Refine Results
Page will reload when a filter is selected or excluded.
Limit to articles from scholarly journals
Limit to articles with full text available
Limit to Open Access content
Exclude newspaper articles
Include articles at other libraries
Expand results using synonyms
Format
Journal Article
1 results
1
Paper
1 results
1
Subject Area
physics
1 results
1
Topic
automation
1 results
1
computer science - logic in computer science
1 results
1
computer science - programming languages
1 results
1
program verification
1 results
1
programming languages
1 results
1
research projects
1 results
1
Language
English
2 results
2
Year of Publication
From:
To:
Database
ProQuest Technology Collection
1 results
1
ProQuest Central
1 results
1
arXiv.org
1 results
1
ROAD: Directory of Open Access Scholarly Resources
1 results
1
