Skip to main navigation
Skip to search
Skip to main content
TU Delft Research Portal Home
Help & FAQ
Home
Research units
Researchers
Research output
Datasets
Projects
Press/Media
Prizes
Activities
Search by expertise, name or affiliation
Correct by Construction Language Implementations
A.J. Rouvoet
Programming Languages
Research output
:
Thesis
›
Dissertation (TU Delft)
471
Downloads (Pure)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Correct by Construction Language Implementations'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
INIS
assessments
10%
balances
10%
bridges
10%
computer codes
10%
computers
10%
construction
100%
contracts
10%
developers
10%
errors
30%
implementation
100%
programming languages
30%
reliability
10%
specifications
20%
values
10%
Computer Science
Program Execution
16%
Reduce Expression
16%