Property driven development in Erlang, by example.

Samuel Rivas, Miguel Angel Francisco, Vctor M. Gulas

Browse the full ICSE paper archive.