To Seek Perfection in Software

February 19, 2016
Close up photograph of a circuit board.

Discoveries by U of M researchers are helping to ensure the critical software of the future is safe and secure.