Tests and Proofs 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings
by
 
Prevosto, Virgile. editor.

Title
: 
Tests and Proofs 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings

Author
: 
Prevosto, Virgile. editor.

ISBN
: 
9783031388286

Edition
: 
1st ed. 2023.

Physical Description
: 
XXII, 187 p. 65 illus., 17 illus. in color. online resource.

Series
: 
Lecture Notes in Computer Science, 14066

Contents
: 
Low-level Code Verification -- Formal Models -- Model-based test generation -- Abstraction and Refinement.

Added Author
: 
Prevosto, Virgile.
 
Seceleanu, Cristina.

Added Corporate Author
: 
SpringerLink (Online service)

Electronic Access
: 
https://doi.org/10.1007/978-3-031-38828-6


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book521102-1001ONLINEElektronik Kütüphane