Proceedings of 25th Int. Conf. on Computer Aided Verification

Published by: Springer  

Groups

  1. Alumni (1)
  2. Chatterjee Group (1)
  3. SSUs (1)

Results (1)

Proceedings of 25th Int. Conf. on Computer Aided Verification – authorized name for:

Name ISSN/ISBN Publisher
Proceedings of 25th Int. Conf. on Computer Aided Verification 978-3-642-39799-8 Springer
Proceedings of 25th Int. Conf. on Computer Aided Verification 978-3-642-39799-8 Springer