"2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, ..."

Nikolaj S. Bjørner, Arie Gurfinkel (2018)

Details and statistics

DOI:

access: closed

type: Editorship

metadata version: 2022-04-14