Selected papers from Mathematics of Program Construction 2012

Jeremy Gibbons, Pablo Nogueira. Selected papers from Mathematics of Program Construction 2012. Science of Computer Programming, 85:101, 2014. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.