The Journal of Mathematical Behavior · 2005 · 108 citations · 16 references
ComputingMathematicsFormal MethodsWarrantiesDeductive VerificationTheorem ProvingWarranty InterpretationAutomated Proof CheckingCorrectness ProofsError Detection In ProofsProof CheckingProof TestingProof-based VerificationWarranty Breach Analysis
16
Advanced Mathematical Thinking
Annie Selden, Tommy Dreyfus, In P. Nesher et al. · College Mathematics Journal · 1991 · 497 citations