Browse by Person (creator, editor, contributor, etc.)
Up a level |
Number of items: 1.
2015
Gerdes, Alex and Hughes, John and Smallbone, Nick and Wang, Meng (2015) Linking Unit Tests and Properties. In: Proceedings of ACM SIGPLAN Erlang Workshop. Proceedings of the 14th ACM SIGPLAN Workshop on Erlang. pp. 19-26. ISBN 978-1-4503-3805-9. (doi:https://doi.org/10.1145/2804295.2804298) (Full text available) |