No photo of Simon Kongshøj
20162020

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Outputs

  • 3 Teaching material

Contract-Based Software Development: Class Design by Contract

Kongshøj, S., 2016, 14 p.

Research output: Other contributionTeaching material

File

Contract-Based Software Development: Immutable Lists and Quantifiers

Kongshøj, S., 2016, 9 p.

Research output: Other contributionTeaching material

File

Contract-Based Software Development: Inheritance and Frame Rules

Kongshøj, S., 2016, 9 p.

Research output: Other contributionTeaching material

File

Projects