BASSI FLAVIO

Method for debugging and testing the correctness of programs