Event Based Sequential Program Development: Application to Constructing a Pointer Program
Published in Lecture notes in computer science • Jan 1, 2003
NobleIDNI5P70W39R29S16
Authors:
Jean-Raymond Abrial
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!