11 ms·
> force government entities to use formally verified systems instead of the [current commercial options] When do we complain about the even more expensive defe
by vineyardmike 6y ago
> force government entities to use formally verified systems instead of the [current commercial options]
When do we complain about the even more expensive defense budget in this story?