Electronic Communications of the EASST
is a peer-reviewed, scientific and open access journal
ISSN 1863-2122

Howar, Falk, Technische Universität Dortmund & Fraunhofer ISST, Germany

• Volume 78: 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium and Industry Day, 2018 - Articles
  Thoughts about using Constraint Solvers in Action
  Abstract  PDF

Hosted By Universitätsbibliothek TU Berlin.