Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Mathematica: a system for doing mathematics by computer (2nd ed.)
Mathematica: a system for doing mathematics by computer (2nd ed.)
An introduction to formal specification and Z
An introduction to formal specification and Z
AXIOM: the scientific computation system
AXIOM: the scientific computation system
Larch: languages and tools for formal specification
Larch: languages and tools for formal specification
The Maple handbook
Inheritance of interface specifications (extended abstract)
IDL '94 Proceedings of the workshop on Interface definition languages
A first report on the A# compiler
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
Branch cuts in computer algebra
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
LCLint: a tool for using specifications to check code
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Formal Verification of Ada Programs
Proceedings of the first First International Workshop on Larch
On the language design and semantic foundation of lcl, a larch/c interface specification language
On the language design and semantic foundation of lcl, a larch/c interface specification language
On the role of OpenMath in interactive mathematical documents
Journal of Symbolic Computation - Calculemus-99: integrating computation and deduction
Equality in computer algebra and beyond
Journal of Symbolic Computation - Integrated reasoning and algebra systems
Abstract Data Types in Computer Algebra
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Controlling Control Systems: An Application of Evolving Retrenchment
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Formal Methods for Extensions to CAS
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Hidden verification for computational mathematics
Journal of Symbolic Computation
Towards the formal specification and verification of maple programs
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
Hi-index | 0.00 |