Projekt z Erlang'a: QuickCheck