Dines Bjrner
Results: 1
# | Item |
---|---|
1 | Intuition before Formalism References June 23, 2015 Relational post conditions: [Flo67, dBS69, Hoa69, Jon73, Jon80, Acz82, Jon86] Data abstraction/reification: [Luc68, Jon70, Jon80, Jon86, Mar86, Nip86, Jon07] Tool suppoAdd to Reading ListSource URL: homepages.cs.ncl.ac.ukLanguage: English - Date: 2015-06-23 01:22:59 |