TY - BOOK ID - 146324924 TI - Dijkstra's lectures on the design of correct programs PY - 1979 PB - Université de Liège : Institut Montefiore, DB - UniCat KW - Semantics. KW - Programming languages KW - Programming languages UR - https://www.unicat.be/uniCat?func=search&query=sysid:146324924 AB - ER -