Using SPARK as a solver for Modelica

TitleUsing SPARK as a solver for Modelica
Publication TypeConference Proceedings
AuthorsMichael Wetter, Philip Haves, Michael A. Moshier, Edward F. Sowell