Santiago Bermúdez

  • Citations Per Year
Learn More
OBJECTIVES The study was conducted to assess the effectiveness of mifepristone 200 mg 48 h before administering misoprostol 600 mug, sublingual vs. vaginal route, prior to dilation and evacuation (D&E) in 12- to 20-week pregnancies. DESIGN Randomized clinical trial. SETTING Clínica Mediterrania Médica, Valencia, Spain. SUBJECTS Women with 12- to(More)
In this article we present a novel technique for automated parallel bug-finding based on the sequential analysis tool TACO. TACO is a tool based on SAT-solving for efficient bug-finding in Java code with rich class invariants. It prunes the SAT-solver's search space by introducing precise symmetry-breaking predicates and bounding the relational(More)
BACKGROUND The aim of the study was to assess efficacy and safety of administering 200 mg of mifepristone between 36 and 48 h before the insertion of 800 mcg of vaginal misoprostol to induce late second-trimester abortion between 19.1 and 25.6 weeks gestation. STUDY DESIGN A consecutive series of 428 women who requested a termination of their pregnancy(More)
  • 1