Verified Software. Theories, Tools, and Experiments
Material type:
TextSeries: Lecture Notes in Computer SciencePublication details: Springer 2018Subject(s): Online resources:
E-Book
| Item type | Home library | Status | Barcode | |
|---|---|---|---|---|
|
E-Book
|
LRC, IIT Indore Online | Not for loan | EB4270 |
Total holds: 0
