Books listed by ISBN
Aletta Nylen
A N
title
ISBN-13
(ISBN-10)
year of publication
Compact Constraints for Verification of Well Quasi-Ordered Programs
978-91-554-5788-4
(91-554-5788-6)
2003
Alevtina N. Zhukova