Conversion of Units of Measurement
IEEE Transactions on Software Engineering
Osprey: a practical type system for validating dimensional unit correctness of C programs
Proceedings of the 28th international conference on Software engineering
Hi-index | 0.00 |