Compact Constraints for Verification of Well Quasi-Ordered Programs (Uppsala Dissertations from the Faculty of Science & Technology, 51)

by Aletta Nylen Paperback details (USA). ISBN: 978-91-554-5788-4 ISBN-10: 91-554-5788-6 Uppsala Universitet · 2003