TUHH Open Research
Help
  • Log In
    New user? Click here to register.Have you forgotten your password?
  • English
  • Deutsch
  • Communities & Collections
  • Publications
  • Research Data
  • People
  • Institutions
  • Projects
  • Statistics
  1. Home
  2. CRIS
  3. Event
  4. 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016
 
  • Conference Details
  • Publications
Options
Title
7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016
Start Date
October 10, 2016
End Date
October 14, 2016
Event Year
2016
Location
Imperial
Country
GR
TUHH
Weiterführende Links
  • Contact
  • Send Feedback
  • Cookie settings
  • Privacy policy
  • Impress
DSpace Software

Built with DSpace-CRIS software - Extension maintained and optimized by 4Science
Design by effective webwork GmbH

  • Deutsche NationalbibliothekDeutsche Nationalbibliothek
  • ORCiD Member OrganizationORCiD Member Organization
  • DataCiteDataCite
  • Re3DataRe3Data
  • OpenDOAROpenDOAR
  • OpenAireOpenAire
  • BASE Bielefeld Academic Search EngineBASE Bielefeld Academic Search Engine
Feedback