User Activity
-
Committed
[r54]
using the final style file
-
Committed
[r52]
revised paragraph on correctness concerning GET...
-
Committed
[r51]
changes for reviewer 1
-
Committed
[r38]
revised Sec. 2.1 (prefinal)
-
Committed
[r37]
integrated/ handled comments 1,2,3,5,6 of Holge...
-
Committed
[r34]
made notation for correctness consistent with p...
-
Committed
[r33]
removed obsolete comment
-
Committed
[r32]
formal notational revision of least change conc...
Personal Data
- Username:
- hermannfrank
- Joined:
- 2013-12-06 18:55:42
Projects
This is a list of open source software projects that Frank HERMANN is associated with:
- BenchmarX A Benchmark Suite for Bidirectional Transformation Last Updated:
