Comment Comment by pensono Is C++ complex enough that it is difficult to model, and therefore hard to apply in formal methods? parent pensono 5 years ago
