Investigating some embedded verification techniques for computer algebra systems
U Martin and D Shand
Book Title
Proceedings of THEOREM A Workshop
Pages
20
Volume
97
Year
1997
U Martin and D Shand