Showing 1 - 2 results of 2 for search 'Federated Logic Conference', query time: 0.01s
Refine Results
-
1
Computer aided verification : 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings.
Published 2018Call Number: Loading…CONNECT
Located: Loading…
Electronic Conference Proceeding eBook -
2
Computer aided verification : 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings.
Published 2018Call Number: Loading…CONNECT
Located: Loading…
CONNECT
Electronic Conference Proceeding eBook