Deutsch
Login
Open Access
Home
Search
Browse
Publish
FAQ
Refine
Keywords
PSL (1)
(remove)
1
search hit
1
to
1
Export
BibTeX
CSV
RIS
XML
100
10
20
50
100
Checking Application-level Properties Using Assertion Synthesis
(2019)
Wenzl, Matthias
;
Rössler, Peter
;
Puhm, Andreas
1
to
1