Axiomatic semantics (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Axiomatic semantics" in English language version.

refsWebsite
Global rank English rank
3rd place
3rd place

books.google.com (Global: 3rd place; English: 3rd place)

  • Winskel, Glynn (1993-02-05). The Formal Semantics of Programming Languages: An Introduction. MIT Press. ISBN 978-0-262-73103-4.