Yu Weng Tools for Design, Implementation and Verification of Emerging Information Technologies - Springer Nature 2021 - Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering . One time purchase [Perpetual access] ISSN: 9783030774288 Subjects--Topical Terms: Computer Science