Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

sav07_lecture_4_skeleton [2007/03/22 23:12]
olivier.gobet
sav07_lecture_4_skeleton [2007/03/26 14:14] (current)
leander.eyer
Line 72: Line 72:
   * Edsger W. Dijkstra: A Discipline of Programming   * Edsger W. Dijkstra: A Discipline of Programming
   * C. A. R. Hoare, He Jifeng: Unifying Theories of Programming   * C. A. R. Hoare, He Jifeng: Unifying Theories of Programming
 +
  
 ===== Modeling data structures ===== ===== Modeling data structures =====
 
sav07_lecture_4_skeleton.txt · Last modified: 2007/03/26 14:14 by leander.eyer