Publication:5035552

From MaRDI portal

Jump to:navigation, search

zbMath1483.68073MaRDI QIDQ5035552

Jingmin Chen

Publication date: 22 February 2022

Mathematics Subject Classification ID

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5035552&oldid=19511559"