Christian Lidström

Factors Affecting Men in Terms of a Website's Design and Structure : A quantitative approach to find the most influential factors for men purchasing clothes online

Magnus Johansson Angesjö, Christian Lidström, 2012 .

Deductive Functional Verification of Safety-Critical Embedded C-Code: An Experience Report

Dilian Gurov, Jonas Westman, Mattias Nyberg, 2017, FMICS-AVoCS.

An Abstract Contract Theory for Programs with Procedures

D. Gurov, Christian Lidström, 2021, FASE.

Automatic Program Instrumentation for Automatic Verification (Extended Technical Report)

D. Gurov, Philipp Rümmer, Christian Lidström, 2023, ArXiv.

Principles of Contract Languages

Reiner Hähnle, M. Huisman, Giles Reger, 2023 .