Verifying a higher-order, concurrent, stateful library Kasper Svendsen, Lars Birkedal and Matthew Parkinson September 9, 2012 HOPE 2012

Source URL: hope2012.mpi-sws.org

Modular Reasoning about Separation for Concurrent Data Structures Kasper Svendsen, Lars Birkedal, Matthew Parkinson March 20, 2013

Source URL: www.kasv.dk

Higher-order Concurrent Abstract Predicates Kasper Svendsen IT University of Copenhagen Lars Birkedal

Source URL: www.kasv.dk

Impredicative Concurrent Abstract Predicates Kasper Svendsen, Lars Birkedal Aarhus University September 28, 2013

Source URL: www.kasv.dk

Verifying a higher-order, concurrent, stateful library Kasper Svendsen, Lars Birkedal and Matthew Parkinson September 9, 2012 HOPE 2012

Source URL: www.kasv.dk

Verifying Generics and Delegates (Technical Appendix) Kasper Svendsen IT University of Copenhagen

Source URL: www.kasv.dk

Review of Various Solutions for avoiding critical levels of Legionella Bacteria in Domestic Hot Water System Xiaochen Yang, Hongwei Li, Svend Svendsen Civil Engineering, DTU

Source URL: www.4dh.dk

• Health
• Disinfectants
• Bacterial diseases
• Hygiene
• Legionella
• Proteobacteria
• Sterilization
• Ozone
• Legionellosis
• Chemistry
• Industrial hygiene
• Microbiology

AT GØRE EN FORSKEL Rapport nr. 2 over erfaringer med ”Initiativer med særligt fokus på integration af flygtninge og indvandrere m.fl. i EUD og AMU” Michael Svendsen Pedersen

Source URL: uvm.dk

VRK Generalforsamling den 27. februar 2008 kl, DGI-Storkøbenhavn Antal deltagere: 21 1. Valg af dirigent og referent Dirigent: Jørn Lund Referent: Louise Svendsen 2. Bestyrelsens beretning for det forløbne år

Source URL: www.vrk.dk

Energy-efficient building Improved Windows for Cold Climates Professor Svend Svendsen Technical University of Denmark April 12th – 14th 2005 · Symposium in Sisimiut

Source URL: www.greenland-innovation.com