Title
Traits: Correctness-by-Construction for Free
Year
DOI
Venue
2022
10.1007/978-3-031-08679-3_9
IFIP WG 6.1 International Conference on Formal Techniques for (Networked and) Distributed Systems (FORTE)
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
4
Name
Order
Citations
PageRank
Tobias Runge102.03
Alex Potanin200.68
Thomas Thüm316.10
Ina Schaefer4163499.16