Compact Constraints for Verification of Well Quasi-Ordered Programs
Series: Uppsala Dissertations from the Faculty of Science & Technology, 51
Publisher: Uppsala Universitet
Published: December 2003
Language: eng
Format: Paperback
Number of pages: 126
ISBN-13: 9789155457884
Subjects: Computer Science; Computers; Computer Books: General