Sebastian Krings
Sebastian Krings
Home
Posts
Projects
Publications
Contact
Light
Dark
Automatic
Specifications
From Software Specifications to Constraint Programming
Non-deterministic specifications play a central role in the use of formal methods for software development. Such specifications can be …
Stefan Hallerstede
,
Miran Hasanagic
,
Sebastian Krings
,
Peter Gorm Larsen
,
Michael Leuschel
PDF
Cite
Project
DOI
Cite
×