FM: International Symposium on Formal Methods

Published by: Springer  

People

Groups

  1. Henzinger Group (1)
Search Within
Refine Results
People
  1. Hui Kong (1)
Years
  1. 2016 (1)
Affiliation
  1. IST Austria (1)
Open access
  1. yes (repository) (1)
Peer reviewed
  1. yes (1)
Invited
  1. no (1)

Results (1)

FM: International Symposium on Formal Methods – authorized name for:

Name ISSN/ISBN Publisher
FM: International Symposium on Formal Methods 978-331948988-9 Springer