Publication:2722045

From MaRDI portal

Jump to:navigation, search

zbMath0966.68564MaRDI QIDQ2722045

Daniel Jackson

Publication date: 11 July 2001

Mathematics Subject Classification ID

68U99: Computing methodologies and applications

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

Uses Software

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