Fingerprint
Untersuchen Sie die Forschungsthemen von „From Contracts towards Dependent Types: Proofs by Partial Evaluation“. Zusammen bilden sie einen einzigartigen Fingerprint.- sortieren
- Gewichtung
- Alphabetisch
Stephan Herhut, Sven Bodo Scholz, Robert Bernecky, Clemens Grelck, Kai Trojahner