> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Executing Underspecified OCL Operation Contracts with a SAT Solver Beteiligte: Krieger, Matthias P. [Verfasser:in]; Knapp, Alexander [Verfasser:in] Erschienen: Augsburg University Publication Server (OPUS), 2018-12-06 Sprache: Englisch DOI: https://doi.org/10.14279/tuj.eceasst.15.176.173 Entstehung: Hochschulschrift: Anmerkungen: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Zugangsstatus: Freier Zugang