A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf
.
Games and Decisions for Rigorous Systems Engineering (Dagstuhl Seminar 12461)
2013
Dagstuhl Reports
This report documents the program and the outcomes of the Dagstuhl Seminar 12461 "Games and Decisions for Rigorous Systems Engineering". The seminar brought together researchers working in rigorous software engineering, with a special focus on the interaction between synthesis and automated deduction. This event was the first seminar of this kind and a kickoff of a series of seminars organised on rigorous systems engineering. The theme of the seminar was close in spirit to many events that have
doi:10.4230/dagrep.2.11.45
dblp:journals/dagstuhl-reports/BjornerCKM12
fatcat:gs36midqlvfhzky6v7ebawumtq