Shaoying Liu Structured Object-Oriented Formal Language and Method - 1st ed. 2023 - Springer 2023 - Lecture Notes in Computer Science . ISBN: 9783031294761 Subjects--Topical Terms: Computer ScienceSoftware Engineering