Max Planck Society - eDoc Server

http://edoc.mpg.de



Program Development Schemata as Derived Rules
Authors: Anderson, Penny; Basin, David A.
Date of Publication (YYYY-MM-DD): 2000
Title of Journal: Journal of Symbolic Computation
Volume: 30
Issue / Number: 1
Start Page: 5
End Page: 36
Document Type: Article
ID: 519767.0