International Journal on Software Tools for Technology Transfer
The International Journal on Software Tools for Technology Transfer (STTT) provides a forum discussing all aspects of tools that aid in the development of computer systems. In particular, it offers a tool-oriented link between academic research and industrial practice.
STTT publishes accessible papers that introduce researchers and practitioners to state-of-the-art tools and techniques. It channels comments, queries, and feedback on tools and papers to its Online Forum, publishing highlights electronically. It enables even non-experts to experiment with the integrated tools via the Electronic Tool Integration (ETI) platform. STTT addresses a heterogeneous audience, emphasizing clear, jargon-free exposition.
STTT focuses on three major technical themes: construction and analysis issues; practicality issues; and generic tool issues.
Nir Piterman (October 2017)
An integrated specification and verification technique for highly concurrent data structures for highly concurrent data structures
- Journal Title
- International Journal on Software Tools for Technology Transfer
- Volume 1 / 1997 - Volume 19 / 2017
- Print ISSN
- Online ISSN
- Springer Berlin Heidelberg
- Additional Links
- Industry Sectors
To view the rest of this content please follow the download PDF link above.