Aletta Nylen

Aletta Nylen is the author of "Compact Constraints for Verification of Well Quasi-Ordered Programs".

Books by Aletta Nylen

Compact Constrain...
Nylen, Aletta
Paperback: $48.50