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

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