An Approach to Program Reasoning Based on a First Order Logic for Partial Functions
0
0
Author Description
Page Count:
90
Publication Date:
1985-01-01
ISBN-10:
8290230885
ISBN-13:
9788290230888
Community Tags
Reader Comments
Share Your Thoughts
No comments yet. Be the first to share your thoughts!