Programming from Galois connections

No Thumbnail Available
Date
2012
Authors
José Nuno Oliveira
Shin-Cheng Mu
Journal Title
Journal ISSN
Volume Title
Publisher