Verified software = theories, tools,...
Rummer, Philipp.

 

  • Verified software = theories, tools, and experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018 : revised selected papers /
  • Record Type: Language materials, printed : Monograph/item
    Title/Author: Verified software/ edited by Ruzica Piskac, Philipp Rummer.
    Reminder of title: theories, tools, and experiments : 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018 : revised selected papers /
    remainder title: VSTTE 2018
    other author: Piskac, Ruzica.
    corporate name: Workshop on the Preservation of Stability under Discretization
    Published: Cham :Springer International Publishing : : 2018.,
    Description: xvi, 345 p. :ill., digital ; : 24 cm.;
    Contained By: Springer eBooks
    Subject: Computer software - Congresses. - Verification -
    Online resource: https://doi.org/10.1007/978-3-030-03592-1
    ISBN: 9783030035921
Multimedia
Reviews
Export
pickup library
 
 
Change password
Login