( en | de | ru )

 

Disambiguierung von "Krings, Sebastian"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Constraint Logic Programming over Infinite Domains with an Application to Proof.

, und . WLP / WFLP, Volume 234 von EPTCS, Seite 73-87. (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Matthias Krings

Adam Krings

Hermann Krings

Hans Krings

Udo Krings

 

Weitere Publikationen von Autoren mit dem selben Namen

Inferring physical units in formal models., und . Softw. Syst. Model., 16 (1): 25-47 (2017)Towards Constraint Logic Programming over Strings for Test Data Generation., , , , und . CoRR, (2019)Proof Assisted Symbolic Model Checking for B and Event-B., und . ABZ, Volume 9675 von Lecture Notes in Computer Science, Seite 135-150. Springer, (2016)Writing a Model Checker in 80 Days: Reusable Libraries and Custom Implementation., , , und . ECEASST, (2018)Who watches the watchers: Validating the ProB Validation Tool., , und . F-IDE, Volume 149 von EPTCS, Seite 16-29. (2014)Experience Report on an Inquiry-Based Course on Model Checking., , und . SEUH, Volume 2358 von CEUR Workshop Proceedings, Seite 87-98. CEUR-WS.org, (2019)Inferring Physical Units in B Models., und . SEFM, Volume 8137 von Lecture Notes in Computer Science, Seite 137-151. Springer, (2013)Interactive Model Repair by Synthesis., , und . ABZ, Volume 9675 von Lecture Notes in Computer Science, Seite 303-307. Springer, (2016)Embedding High-Level Formal Specifications into Applications., , , , und . FM, Volume 11800 von Lecture Notes in Computer Science, Seite 519-535. Springer, (2019)A Translation from Alloy to B., , , , und . ABZ, Volume 10817 von Lecture Notes in Computer Science, Seite 71-86. Springer, (2018)