[Lecture Notes in Computer Science] Computer Aided Verification Volume 3114 || Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement
- 作者Alur, Rajeev; Peled, Doron A.
- 文件大小89.76KB
- 发表时间2004
- DOI10.1007/978-3-540-27813-9_36
- 页码457-461
Puzzles, Problems and PastimesD. B. Eperson and D. P. Eperson · Mathematics in School · 1977
Special Scottish Issue || LettersJohn R. Else and Canon D. B. Eperson · Mathematics in School · 1999
Curiouser and CuriouserHelen Morris, Darrell Morgan and D. B. Eperson · Mathematics in School · 1998
Another ConjectureCanon D. B. Eperson · Mathematics in School · 1998
Puzzles, Pastimes and Problems (and solutions)D. B. Eperson · Mathematics in School · 1996
Puzzles, Pastimes, ProblemsD. B. Eperson · Mathematics in School · 1996
Puzzles, Pastimes and ProblemsD. B. Eperson · Mathematics in School · 1996
Children's Understanding of Numerical VariablesDietmar Küchemann · Mathematics in School · 1978
Students' Views of ProofCelia Hoyles and Lulu Healy · Mathematics in School · 1999
Student Thinking about ProportionalityTeresa G. Banker · Mathematics Teaching in the Middle School · 2012
Archimedes RevisitedDilys Hawkins · Mathematics in School · 2003
Macmathical CalculationsTony Coles · Mathematics in School · 2002
Solving Simultaneous Equations IntuitivelyPaul Chambers · Mathematics in School · 2007
Front MatterMathematics in School · 2007