Re:Elderly patients 23% more likely to die if surgery is on ...
by mhh__ on Wednesday December 16, 2020 @08:51AM
(#25442426)
Its absolutely not silly.
It's similar to why formal verification is so important in hardware, because it's effectively forcing you to be specific about semantics and let's the computer walk through things for you.
It's similar to why formal verification is so important in hardware, because it's effectively forcing you to be specific about semantics and let's the computer walk through things for you.