Research output per year
Research output per year
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
File1 Downloads (Pure) -
Contract-Based Software Development: Immutable Lists and Quantifiers
Kongshøj, S., 2016, 9 p.Research output: Other contribution › Teaching material
File1 Downloads (Pure) -
Contract-Based Software Development: Inheritance and Frame Rules
Kongshøj, S., 2016, 9 p.Research output: Other contribution › Teaching material
File1 Downloads (Pure)
Projects
- 1 Active
-
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/21
Project: Research