Model-based testing of data types with side effects
- Arts, T.
- Castro, L.M.
Proceedings:
Erlang'11 - Proceedings of the 2011 ACM SIGPLAN Erlang Workshop
ISBN: 9781450308595
Year of publication: 2011
Pages: 30-38
Type: Conference paper