All software
1Filter
Mentions
Keywords
15
Program languages
12
Licenses
2
12
1-2 of 2
LinkAhead
Open Source Research Data Management Software
- Data
- Electronic Lab Notebook
- ETL
- + 9
- (ANTLR)
- (C++)
- (CSS)
- + 9
6
24
Specification Translator: Artifact for iFM 2023 paper "Joining Forces! Reusing Contracts for Deductive Verifiers through Automatic Translation"
Specification Translator: Artifact for iFM 2023 paper "Joining Forces! Reusing Contracts for Deductive Verifiers through Automatic Translation"
- Annotations
- Deductive verification
- Specifications
- + 1
3
0