tlooto
Sign up
Computer ScienceEngineering

Introduction to the Special Issue on Specification and Design Languages

S. Vinco, David Broman

2026.3.3ACM Transactions on Embedded Computing Systems

DOI: 10.1145/3789512

Abstract

Abstract is not available.

Citation format

VINCO, S.; BROMAN, David. Introduction to the special issue on specification and design languages. ACM Transactions on Embedded Computing Systems, 2026, 25(2): 1–3.