Communications of the ACM | April 2015 , Vol 58(4): pp. 38-41
Publication
Discusses informal specification. It is an expanded version of [179].
Follow us:
Share this page: