Grant of 3.39 million Euro awarded to UK based Erlang Consortium for Property-based Testing Research