From Software Specifications to Constraint Programming

DOI10.1007/978-3-319-92970-5_2zbMath1509.68164OpenAlexW2806413451MaRDI QIDQ6039382

Sebastian Krings, Stefan Hallerstede, Michael Leuschel, Unnamed Author, Peter Gorm Larsen

Publication date: 5 May 2023

Published in: Software Engineering and Formal Methods (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-92970-5_2

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: From Software Specifications to Constraint Programming