No photo of Simon Kongshøj

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 contribution › Teaching material

File

Contract-Based Software Development: Immutable Lists and Quantifiers

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

Research output: Other contribution › Teaching material

File

Contract-Based Software Development: Inheritance and Frame Rules

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

Research output: Other contribution › Teaching material

File

Projects

IT-Sikkerhed indenfor sundheds-IoT

Thomsen, H., Hvarregaard, H. M., Kongshøj, S., Nielsen, I. H., Trosborg, P., Bangshaab, J., Læssøe, U. & Nordbjerg, F. E.

01/01/20 → 31/12/20

Project: Research