Publication:2723910

From MaRDI portal


zbMath0964.68564MaRDI QIDQ2723910

Donald Sannella

Publication date: 8 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:2723910&oldid=15578235"
Powered by MediaWiki