Back to Results
First PageMeta Content
Software engineering / Computer science / Theoretical computer science / Formal methods / Fellows of the British Computer Society / Logic in computer science / Cliff Jones / Dines Bjrner / Models of computation / Vienna Development Method / David Gries / Formal Aspects of Computing


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 suppo
Add to Reading List

Document Date: 2015-06-23 01:22:59


Open Document

File Size: 64,96 KB

Share Result on Facebook