Open Source basiliscos • Now • 75%

Supervising in C++: how to make your programs reliable - Basiliscos's blog