Kerstin Hartig

Learn More
This release is intended for Frama-C Magnesium, issued in January 2016. 4 For changes in previous versions we refer to the Appendix A on Page 149. A main goal of this release is to reduce the number of proof obligations that cannot be verified automatically and therefore must be tackled by an interactive theorem prover such as Coq. To this end, we analyzed(More)
Clomethiazole is widely used in European countries to treat alcohol withdrawal symptoms including delirium tremens. The current study aimed to explore the effects of clomethiazole on the sleep of healthy volunteers. We postulated both a hypnotic and a REM suppressive effect as well as the occurrence of a rebound phenomenon following three days of treatment(More)
  • 1