Model-based testing of data types with side effects

  1. Arts, T.
  2. Castro, L.M.
Actas:
Erlang'11 - Proceedings of the 2011 ACM SIGPLAN Erlang Workshop

ISBN: 9781450308595

Ano de publicación: 2011

Páxinas: 30-38

Tipo: Achega congreso

DOI: 10.1145/2034654.2034662 GOOGLE SCHOLAR