Internet, News

Facebook to acquire certain assets of code verification software developer, Monoidics