"FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June ..."

Nikolaj S. Bjørner, Frank S. de Boer (2015)

Details and statistics

DOI: 10.1007/978-3-319-19249-9

access: closed

type: Editorship

metadata version: 2022-04-14

a service of  Schloss Dagstuhl - Leibniz Center for Informatics