Formal Description of Programming Concepts (II)



TypeBook [Author]
Year1982
PublisherIFIP TC-2 Work.Conf., Garmisch-Partkirschen
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering