Google’s Schindler Invests in UK Automated Reasoning Startup(marketsmedia.com)

http://marketsmedia.com/googles-schindler-invests-uk-automated-reasoning-startup/