Verified Software. Theories, Tools and Experiments
Work detail
Bookitis PickVS
Verified Software. Theories, Tools and Experiments
Andrew ReynoldsSerdar Tasiran1 editions
This page groups all known editions belonging to the same underlying work.
Overview
Shared work-level identity and catalog context.
2 credited authorsSearch language english
Contributors
People credited with this work in the active catalog.
- Open Author
Andrew Reynolds
- Open Author
Serdar Tasiran
Editions
Publication-specific versions linked to this work only.