Formal Verification of Object-Oriented Software (Q3067528)

From MaRDI portal
Revision as of 17:12, 6 February 2024 by Daniel (talk | contribs) (‎Created claim: Wikidata QID (P12): Q924044, #quickstatements; #temporary_batch_1707232199955)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific journal
Language Label Description Also known as
English
Formal Verification of Object-Oriented Software
scientific journal

    Statements